require64;
RD = sreg_t(RS1) / sreg_t(RS2);