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