1extern void abort(void);
2
3unsigned long bar(void) { return 32768; }
4
5int 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
15