pub fn read_rv32_register_from_state<F, Ctx>( state: &mut VmStateMut<'_, F, GuestMemory, Ctx>, ptr: u32, ) -> u32where Ctx: ExecutionCtxTrait,