t20
{ t20, "C" },
uint32_t t20, t21, t22, t23, t24, t25, t26, t27, t28, t29;
t20 = t11 ^ t16;
t24 = t20 ^ y18;