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