pub unsafe extern "C" fn Dddmp_cuddAddStore(
ddMgr: *mut DdManager,
ddname: *mut c_char,
f: *mut DdNode,
varnames: *mut *mut c_char,
auxids: *mut c_int,
mode: c_int,
varinfo: Dddmp_VarInfoType,
fname: *mut c_char,
fp: *mut FILE,
) -> c_int