1extern void abort (void); 2unsigned short c = 0x8000; 3int main() 4{ 5 if ((c-0x8000) < 0 || (c-0x8000) > 0x7fff) 6 abort(); 7 return 0; 8} 9