int main(void) {
  $assert("bad");
}