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