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