pub unsafe extern "C" fn Dddmp_cuddAddArrayLoad(
ddMgr: *mut DdManager,
rootMatchMode: Dddmp_RootMatchType,
rootmatchnames: *mut *mut c_char,
varMatchMode: Dddmp_VarMatchType,
varmatchnames: *mut *mut c_char,
varmatchauxids: *mut c_int,
varcomposeids: *mut c_int,
mode: c_int,
file: *mut c_char,
fp: *mut FILE,
pproots: *mut *mut *mut DdNode,
) -> c_int