Global ADD_DIRECT (table, key, value, hash_val, newt): This macro does not check if memory allocation fails. Use at your own risk.
Global Cudd_ApaIntDivision (int digits, DdConstApaNumber dividend, unsigned int divisor, DdApaNumber quotient): The assumption on which the correctness of this function rests is not satisfied by modern-day 64-bit CPUs.
Global Cudd_zddDagSize (DdNode *p_node): This function duplicates Cudd_DagSize and is only retained for compatibility.