f()1 f ()
2 {
3   int var = 7;
4 
5   if ((var/7) == 1)
6     return var/7;
7   return 0;
8 }
9 
main()10 main ()
11 {
12   if (f () != 1)
13     abort ();
14   exit (0);
15 }
16