pub unsafe extern "C" fn Dddmp_cuddBddArrayStorePrefix(
ddMgr: *mut DdManager,
nroots: c_int,
f: *mut *mut DdNode,
inputNames: *mut *mut c_char,
outputNames: *mut *mut c_char,
modelName: *mut c_char,
fname: *mut c_char,
fp: *mut FILE,
) -> c_int