RISC virtual machine