struct @bnd @deputy_scope() { void *lo, *hi; };
struct @bnd_nok @deputy_scope() { void *lo, *hi; };
struct @count @deputy_scope() { int n; };
struct @count_nok @deputy_scope() { int n; };
struct @bnd @deputy_scope() { void *lo, *hi; };
struct @bnd_nok @deputy_scope() { void *lo, *hi; };
struct @count @deputy_scope() { int n; };
struct @count_nok @deputy_scope() { int n; };