1void abort (void); 2 3int f (int a, int b) 4{ 5 if (a == 1) 6 a = 0; 7 if (b == 0) 8 a = 1; 9 if (a != 0) 10 return 0; 11 return 1; 12} 13 14int main (void) 15{ 16 if (f (1, 1) != 1) 17 abort (); 18 return 0; 19} 20