t18
{ t18, "" },
uint32_t t10, t11, t12, t13, t14, t15, t16, t17, t18, t19;
t18 = t6 ^ t16;
t22 = t18 ^ y19;