1  extern void abort(void);
       2  
       3  unsigned long bar(void) { return 32768; }
       4  
       5  int main()
       6  {
       7    unsigned long nStyle = bar ();
       8    if (nStyle & 32768)
       9      nStyle |= 65536;
      10    if (nStyle != (32768 | 65536))
      11      abort ();
      12    return 0;
      13  }
      14