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