if(RS2 == 0)
  RD = RS1;
else
  RD = sext_xprlen(RS1 % RS2);