1extern void abort (void);
2extern void exit (int);
3
4void do_exit (void) { exit (0); }
5void do_abort (void) { abort (); }
6
7void foo (int x, int a)
8{
9  if (x < a)
10    goto doit;
11  do_exit ();
12  if (x != a)
13    goto doit;
14
15  /* else */
16  do_abort ();
17  return;
18
19doit:
20  do_abort ();
21}
22
23int main()
24{
25  foo (1, 0);
26  return 0;
27}
28