1  long val = 0x5e000000;
       2  
       3  long
       4  f1 (void)
       5  {
       6    return 0x132;
       7  }
       8  
       9  long
      10  f2 (void)
      11  {
      12    return 0x5e000000;
      13  }
      14  
      15  void
      16  f3 (long b)
      17  {
      18    val = b;
      19  }
      20  
      21  void
      22  f4 ()
      23  {
      24    long v = f1 ();
      25    long o = f2 ();
      26    v = (v & 0x00ffffff) | (o & 0xff000000);
      27    f3 (v);
      28  }
      29  
      30  main ()
      31  {
      32    f4 ();
      33    if (val != 0x5e000132)
      34      abort ();
      35    exit (0);
      36  }