int f1(void)
{
  return 2;
}

main()
{
  int a;

  a = f1();
}
