1  void abort ();
       2  
       3  void
       4  f (long long a)
       5  {
       6    if ((a & 0xffffffffLL) != 0)
       7      abort ();
       8  }
       9  
      10  long long a = 0x1234567800000000LL;
      11  
      12  int
      13  main ()
      14  {
      15    f (a);
      16    return 0;
      17  }