1  
       2  unsigned int f (unsigned int a)
       3  {
       4    return a * 65536 / 8;
       5  }
       6  
       7  unsigned int g (unsigned int a)
       8  {
       9    return a * 65536;
      10  }
      11  
      12  unsigned int h (unsigned int a)
      13  {
      14    return a / 8;
      15  }
      16  
      17  int main ()
      18  {
      19    if (f (65536) != h (g (65536)))
      20      abort ();
      21    exit (0);
      22  }