REC_PR_X
LOAD(x, REC_PR_X);
XOR_ACC(p, REC_PR_X);
COPY(REC_PR_X, REC_PR_T);
MUL(mul[MUL_PR_X], REC_PR_X);
XOR(REC_PR_Y, REC_PR_X);
STORE(x, REC_PR_X);
XOR(REC_PR_T, REC_PR_X);
STORE(y, REC_PR_X);