cudd_sys
pub unsafe extern "C" fn Cudd_addSwapVariables( dd: *mut DdManager, f: *mut DdNode, x: *mut *mut DdNode, y: *mut *mut DdNode, n: c_int) -> *mut DdNode