REC_PQ_X
LOAD(x, REC_PQ_X);
XOR_ACC(p, REC_PQ_X);
COPY(REC_PQ_X, REC_PQ_T);
MUL(mul[MUL_PQ_X], REC_PQ_X);
XOR(REC_PQ_Y, REC_PQ_X);
STORE(x, REC_PQ_X);
XOR(REC_PQ_T, REC_PQ_X);
STORE(y, REC_PQ_X);