emulator_read_write
return emulator_read_write(ctxt, addr, val, bytes, exception, &ops);
return emulator_read_write(ctxt, addr, (void *)val, bytes, exception, &ops);