1 typedef unsigned short Uint16;
2 typedef unsigned int Uint;
3 
f()4 Uint f ()
5 {
6         Uint16 token;
7         Uint count;
8         static Uint16 values[1] = {0x9300};
9 
10         token = values[0];
11         count = token >> 8;
12 
13         return count;
14 }
15 
16 int
main()17 main ()
18 {
19   if (f () != 0x93)
20     abort ();
21   exit (0);
22 }
23