1  extern void abort ();
       2  extern void exit (int);
       3  
       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  
      16  int main (int argc, char *argv[]) {
      17  	if (f (-2))
      18  		abort ();
      19  	exit (0);
      20  }
      21