1 extern void abort (void);
2 
3 int
foo(int x)4 foo (int x)
5 {
6   if ((int) (x & 0x80ffffff) != (int) (0x8000fffe))
7     abort ();
8 
9   return 0;
10 }
11 
12 int
main()13 main ()
14 {
15   return foo (0x8000fffe);
16 }
17