1extern void abort(void); 2 3int a = -1; 4 5int main () 6{ 7 int b = a == 0 ? 0 : -a; 8 if (b < 1) 9 abort (); 10 return 0; 11} 12