1void 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
9int main ()
10{
11  int i = 0x30011;
12  foo(&i);
13  exit (0);
14}
15