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