x64
struct x64 *us = (struct x64*)(void*)m->save;
uint64_t x64;
x64 = ((uint64_t)(arg1[4]) * (arg2[2]));
x107 = (x94 + (x85 + (x77 + (x70 + (x64 + (x59 + (x55 + (x18 + (x11 + x3)))))))));
uint64_t x64;
x64 = ((uint64_t)(arg1[0]) * x3);
x77 = (x64 + (x56 + (x49 + (x43 + x38))));
uint8_t x64;
x64 = (uint8_t)(x63 & UINT8_C(0xff));
out1[6] = x64;
uint32_t x64;
x64 = (x63 & UINT32_C(0x3ffffff));
out1[6] = x64;
uint8_t x64;
x64 = (uint8_t)(x63 & UINT8_C(0xff));
out1[18] = x64;
uint64_t x64;
x64 = (x63 & UINT64_C(0x7ffffffffffff));
out1[3] = x64;