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