f (x) { if (x != 0 || x == 0) return 0; return 1; } main () { if (f (3)) abort (); exit (0); }