rv_s_insn
return rv_s_insn(imm11_0, rs2, rs1, 0, 0x23);
return rv_s_insn(imm11_0, rs2, rs1, 1, 0x23);
return rv_s_insn(imm11_0, rs2, rs1, 2, 0x23);
return rv_s_insn(imm11_0, rs2, rs1, 3, 0x23);