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