1 require_extension('C');
2 WRITE_RVC_RS1S(sext_xlen(RVC_RS1S - RVC_RS2S));
3