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