REC_QR_Y
LOAD(y, REC_QR_Y);
XOR_ACC(q, REC_QR_Y);
XOR(REC_QR_Y, REC_QR_X); /* X = R ^ X */
XOR(REC_QR_Y, REC_QR_T); /* X = R ^ X */