pub unsafe extern "C" fn Cudd_ShuffleHeap( table: *mut DdManager, permutation: *mut c_int, ) -> c_int