pub unsafe extern "C" fn Cudd_RegisterTerminationCallback( unique: *mut DdManager, callback: DD_THFP, callback_arg: *mut c_void, )