t17
{ t17, "C" },
uint32_t t10, t11, t12, t13, t14, t15, t16, t17, t18, t19;
t17 = t4 ^ t14;
t21 = t17 ^ y20;