pub type IBDA_DiagnosticProperties = *mut c_void;