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