require64;
RDR = RS1 % RS2;