static extern TargetError mono_debugger_server_execute_instruction(IntPtr handle, IntPtr instruction, int insn_size, bool update_ip);