pub type IMachineDebugManager = *mut c_void;