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