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