int main(void) {
  $assert($false, "Blah %d %d\n", 1);
}