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