REC_PQR_Z
LOAD(z, REC_PQR_Z);
XOR_ACC(r, REC_PQR_Z);
MUL(mul[MUL_PQR_XR], REC_PQR_Z); /* Xr = Rxyz * xr */
XOR(REC_PQR_Z, REC_PQR_X); /* X = Xp + Xq + Xr */