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