1  typedef unsigned long long u64;
       2  unsigned long foo = 0;
       3  u64 f() __attribute__((noinline));
       4  
       5  u64 f() {
       6    return ((u64)40) + ((u64) 24) * (int)(foo - 1);
       7  }
       8  
       9  int main ()
      10  {
      11    if (f () != 16)
      12      abort ();
      13    exit (0);
      14  }