Our RISC-V simulator interface