R1(X); W1(X); R2(X); W2(X); R1(Y); W1(Y);