int f1() {
  return 1;
}

int main() {
  f1();
  return 0;
}