1 void abort (void); 2 f(int a,int b)3 int 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 main(void)14 int main (void) 15 { 16 if (f (1, 1) != 1) 17 abort (); 18 return 0; 19 } 20