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