1  void abort (void);
       2  
       3  int bar (void) {  return -1;  }
       4  
       5  unsigned long
       6  foo ()
       7  { unsigned long retval;
       8    retval = bar ();
       9    if (retval == -1)  return 0;
      10    return 3;  }
      11  
      12  main ()
      13  { if (foo () != 0)  abort ();
      14    return 0;  }
      15