pub unsafe extern "C" fn Cudd_SetApplicationHook( dd: *mut DdManager, value: *mut c_void, ) -> c_void