1  typedef unsigned char u8;
       2  typedef unsigned short u16;
       3  typedef unsigned int u32;
       4  typedef unsigned long long u64;
       5  
       6  u64 __attribute__((noinline, noclone))
       7  foo(u8 u8_0, u16 u16_0, u64 u64_0, u8 u8_1, u16 u16_1, u64 u64_1, u64 u64_2, u8 u8_3, u64 u64_3)
       8  {
       9  	u64_1 *= 0x7730;
      10  	u64_3 *= u64_3;
      11  	u16_1 |= u64_3;
      12  	u64_3 -= 2;
      13  	u8_3 /= u64_2;
      14  	u8_0 |= 3;
      15  	u64_3 %= u8_0;
      16  	u8_0 -= 1;
      17  	return u8_0 + u16_0 + u64_0 + u8_1 + u16_1 + u64_1 + u8_3 + u64_3;
      18  }
      19  
      20  int main()
      21  {
      22  	unsigned x = foo(1, 1, 1, 1, 1, 1, 1, 1, 1);
      23  	if (x != 0x7737)
      24  		__builtin_abort();
      25  	return 0;
      26  }