1void abort ();
2void exit (int);
3
4void test(int x, int y)
5{
6  if (x == y)
7    abort ();
8}
9
10void foo(int x, int y)
11{
12  if (x == y)
13    goto a;
14  else
15    {
16a:;
17      if (x == y)
18	goto b;
19      else
20	{
21b:;
22	  if (x != y)
23	    test (x, y);
24	}
25    }
26}
27
28int main(void)
29{
30  foo (0, 0);
31
32  exit (0);
33}
34
35
36