maybe_signext64
maybe_signext64(imm));
riscv_registers[rd], maybe_signext64(imm));
maybe_signext64(imm));
maybe_signext64(imm));
maybe_signext64(imm));
maybe_signext64(imm));