emulator_read_write
return emulator_read_write(ctxt, addr, val, bytes,
return emulator_read_write(ctxt, addr, (void *)val, bytes,