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