1 extern void abort ();
2 extern void exit (int);
3 
f(int a)4 int f (int a) {
5 	if (a < 12) {
6 	  if (a > -15) {
7 		a = a > 0 ? a : -a;
8 		if (a == 2)
9 		  return 0;
10 		return 1;
11 	  }
12 	}
13 	return 1;
14 }
15 
main(int argc,char * argv[])16 int main (int argc, char *argv[]) {
17 	if (f (-2))
18 		abort ();
19 	exit (0);
20 }
21 
22