int main() {
  while (1) // break here
    ;
  return 42;
}