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