emulator_write_emulated
return emulator_write_emulated(ctxt, rip, instruction, 3,
return emulator_write_emulated(ctxt, addr, new, bytes, exception);
.write_emulated = emulator_write_emulated,