(BUILTIN-NAMES-TO-XDOC-DEFS
 (792 4 (:DEFINITION BUILTIN-NAMES-TO-XDOC-DEFS))
 (776 16 (:DEFINITION STRING-APPEND-LST))
 (436 16 (:DEFINITION STRING-APPEND))
 (272 44 (:DEFINITION BINARY-APPEND))
 (168 160 (:REWRITE DEFAULT-CDR))
 (128 64 (:REWRITE DEFAULT-COERCE-1))
 (112 28 (:REWRITE DEFAULT-COERCE-3))
 (96 8 (:REWRITE COERCE-INVERSE-1))
 (92 92 (:REWRITE DEFAULT-COERCE-2))
 (87 79 (:REWRITE DEFAULT-CAR))
 (72 8 (:DEFINITION CHARACTER-LISTP))
 (48 24 (:TYPE-PRESCRIPTION TRUE-LISTP-APPEND))
 (44 4 (:REWRITE CHARACTER-LISTP-APPEND))
 (38 38 (:REWRITE DEFAULT-SYMBOL-NAME))
 (24 24 (:TYPE-PRESCRIPTION BINARY-APPEND))
 (12 12 (:REWRITE CHARACTER-LISTP-COERCE))
 (8 8 (:TYPE-PRESCRIPTION CHARACTER-LISTP))
 (8 4 (:REWRITE COERCE-INVERSE-2))
 (8 4 (:REWRITE APPEND-TO-NIL))
 )
