pub type IDebugDocumentProvider = *mut c_void;