public TargetAddress PushRegisters()
{
long new_rsp;
check_error (mono_debugger_server_push_registers (server_handle, out new_rsp));
pushed_regs = true;
return new TargetAddress (AddressDomain, new_rsp);
}