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