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