(RTL-UNTRANS-LOP)
(SUM-CAT-SIZES)
(RTL-UNTRANS-CAT)
(COND1-LENGTH)
(RTL-UNTRANS1)
(STR=-UP-TO)
(ALL-DOLLAR-SYMBS)
(DOLLARFY)
(DOLLAR-ALIST
 (11 3 (:REWRITE INTERN-IN-PACKAGE-OF-SYMBOL-IS-IDENTITY))
 (10 10 (:REWRITE DEFAULT-CAR))
 (9 3 (:REWRITE DEFAULT-INTERN-IN-PACKAGE-OF-SYMBOL))
 (7 7 (:REWRITE DEFAULT-CDR))
 (6 6 (:TYPE-PRESCRIPTION TRUE-LISTP-APPEND))
 (6 6 (:TYPE-PRESCRIPTION BINARY-APPEND))
 (4 4 (:TYPE-PRESCRIPTION MEMBER-SYMBOL-NAME))
 (3 1 (:REWRITE DEFAULT-COERCE-3))
 (3 1 (:DEFINITION BINARY-APPEND))
 (2 2 (:REWRITE DEFAULT-COERCE-2))
 (1 1 (:REWRITE INTERN-IN-PACKAGE-OF-SYMBOL-SYMBOL-NAME))
 (1 1 (:REWRITE DEFAULT-SYMBOL-NAME))
 (1 1 (:REWRITE DEFAULT-COERCE-1))
 )
(RTL-UNTRANSLATE)
(RTL-UNTRANSLATE-LST)
(EXPAND-ADDRESS-CAT)
(EXPAND-ADDRESS-LXOR)
