SYN_PR_X
P_D_SYNDROME(SYN_PR_D, SYN_PR_X, x);
R_D_SYNDROME(SYN_PR_D, SYN_PR_X, y);
R_SYNDROME(SYN_PR_X, y);