1 extern void abort (void);
2 extern void exit (int);
3 
do_exit(void)4 void do_exit (void) { exit (0); }
do_abort(void)5 void do_abort (void) { abort (); }
6 
foo(int x,int a)7 void 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 
19 doit:
20   do_abort ();
21 }
22 
main()23 int main()
24 {
25   foo (1, 0);
26   return 0;
27 }
28