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