void x_500(int x_501) {
  return;
}

void main_1() {
  int x_200 = 0;
  if (true) {
    x_200 = 1;
  } else {
    return;
  }
  x_500(x_200);
  return;
}

void main() {
  main_1();
  return;
}