t22
{ t22, "J" },
{ t22, "JD" }, /* t23 re-uses code from t22 */
uint32_t t20, t21, t22, t23, t24, t25, t26, t27, t28, t29;
t22 = t18 ^ y19;
t25 = t21 ^ t22;
t29 = t28 ^ t22;
t31 = t22 ^ t26;