t15
{ t15, "" },
uint32_t t10, t11, t12, t13, t14, t15, t16, t17, t18, t19;
t15 = y8 & y10;
t16 = t15 ^ t12;