x32
struct x32 *u = (struct x32*)(void*)m->save;
uint64_t x32;
x32 = ((uint64_t)(arg1[5]) * ((arg2[8]) * UINT8_C(0x13)));
x110 = (x97 + (x88 + (x80 + (x73 + (x36 + (x32 + (x27 + (x21 + (x14 + x6)))))))));
uint64_t x32;
x32 = ((arg1[5]) * x11);
x85 = (x72 + (x47 + (x41 + (x36 + x32))));
fiat_25519_uint128 x32;
uint32_t x32;
fiat_25519_addcarryx_u25(&x32, &x33, x31, x11, (x21 & UINT32_C(0x1ffffff)));
x84 = (uint8_t)(x32 & UINT8_C(0xff));
x85 = (x32 >> 8);
uint8_t x32;
x32 = (arg1[0]);
x33 = (x31 + (uint32_t)x32);
x32 = (x24 + (x20 + (x8 + (x6 + x3))));
x33 = (x27 + x32);
uint64_t x32;
x32 = (uint64_t)(x31 >> 51);
x34 = (x32 + x29);
uint8_t x32;
x32 = (uint8_t)(x31 & UINT8_C(0xff));
out1[3] = x32;
uint8_t x32;
x32 = (arg1[0]);
x33 = (x31 + (uint64_t)x32);
uint32_t x32[BLOCK_SIZE / sizeof(uint32_t)];
counter = GSWAP4(block.x32[0]);
block.x32[0]++;
block.x32[0] = GSWAP4(counter);
} x32;
error = copyin(uap->data, &x32.rp, sizeof(x32.rp));
CP(x32.rp, x.rp, rp_count);
PTRIN_CP(x32.rp, x.rp, rp_pids);
uint32_t *x32;
ptr.x32 + i / 4, wlen / 4);
if(*(ptr.x32 + i / 4) == *(cpyprt.x32 + i / 4))
sc->sc_wrofs + i, *(ptr.x32 + i / 4));
val = *(ptr.x32 + i / 4);
*(ptr.x32)++ = val;
uint32_t x32[1];
buf.x32[0] = val;
uint32_t *x32;
UINT32 x32;
memcpy(&x32, dh + 1, sizeof(x32));
printf("%#x", x32);