1  extern void abort (void);
       2  
       3  long long 
       4  f (long long a, long long b) 
       5  { 
       6    return ((a + b) << 32) >> 32; 
       7  } 
       8  
       9  long long a = 0x1234567876543210LL;
      10  long long b = 0x2345678765432101LL;
      11  long long c = ((0x1234567876543210LL + 0x2345678765432101LL) << 32) >> 32;
      12  
      13  int
      14  main ()
      15  {
      16    if (f (a, b) != c)
      17      abort ();
      18    return 0;
      19  }