pub unsafe extern "C" fn Cudd_zddFirstPath( zdd: *mut DdManager, f: *mut DdNode, path: *mut *mut c_int, ) -> *mut DdGen