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