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