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