int main() {

  struct T {int x;};
  
  $assert(sizeof(struct T) > 1);
}