pub type IMachineDebugManagerCookie = *mut c_void;