int main(void) {
  int x = 0;
  return 12345 + x;
}