1  /* PR optimization/13313 */
       2  /* Origin: Mike Lerwill <mike@ml-solutions.co.uk> */
       3  
       4  extern void abort(void);
       5  
       6  void DisplayNumber (unsigned long v)
       7  {
       8    if (v != 0x9aL)
       9      abort();
      10  }
      11  
      12  unsigned long ReadNumber (void)
      13  {
      14    return 0x009a0000L;
      15  }
      16  
      17  int main (void)
      18  {
      19    unsigned long tmp;
      20    tmp = (ReadNumber() & 0x00ff0000L) >> 16;
      21    DisplayNumber (tmp);
      22    return 0;
      23  }