1 int f(int a)2 f (int a) 3 { 4 return ((a >= 0 && a <= 10) && ! (a >= 0)); 5 } 6 main()7 main () 8 { 9 if (f (0)) 10 abort (); 11 exit (0); 12 } 13