1  extern void abort (void);
       2  extern void exit (int);
       3  
       4  int
       5  foo (int x)
       6  {
       7    if (x == -2 || -x - 100 >= 0)
       8      abort ();
       9    return 0;
      10  }
      11             
      12  int
      13  main ()
      14  {
      15    foo (-3);
      16    foo (-99);
      17    exit (0);
      18  }