1  void foo (unsigned int * p)
       2  {
       3    if ((signed char)(*p & 0xFF) == 17 || (signed char)(*p & 0xFF) == 18)
       4      return;
       5    else
       6      abort ();
       7  }
       8  
       9  int main ()
      10  {
      11    int i = 0x30011;
      12    foo(&i);
      13    exit (0);
      14  }