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