REC_QR_T
COPY(REC_QR_X, REC_QR_T);
MUL(mul[MUL_QR_YQ], REC_QR_T); /* X = Q * xqm */
XOR(REC_QR_Y, REC_QR_T); /* X = R ^ X */
MUL(mul[MUL_QR_Y], REC_QR_T); /* X = X * xm */
STORE(y, REC_QR_T);