1  typedef unsigned short Uint16;
       2  typedef unsigned int Uint;
       3  
       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
      17  main ()
      18  {
      19    if (f () != 0x93)
      20      abort ();
      21    exit (0);
      22  }