(STR::PRINTABLE->STR-OF-PRINTABLE-FIX
 (5 1 (:REWRITE STR::PRINTABLE-FIX-WHEN-PRINTABLE-P))
 (4 4 (:REWRITE DEFAULT-COERCE-3))
 (4 4 (:REWRITE DEFAULT-COERCE-2))
 (3 3 (:REWRITE STR::PRINTABLE-P-WHEN-STRINGP))
 (3 3 (:REWRITE STR::PRINTABLE-P-WHEN-CHARACTERP))
 )
(STR::PRINTTREE->STR-OF-PRINTTREE-FIX
 (118 10 (:REWRITE DEFAULT-COERCE-3))
 (81 27 (:TYPE-PRESCRIPTION TRUE-LISTP-APPEND))
 (69 8 (:REWRITE STR::PRINTTREE-FIX-WHEN-PRINTTREE-P))
 (50 10 (:DEFINITION BINARY-APPEND))
 (40 20 (:REWRITE DEFAULT-COERCE-1))
 (36 8 (:REWRITE STR::PRINTTREE-P-WHEN-PRINTABLE-P))
 (30 30 (:REWRITE DEFAULT-COERCE-2))
 (27 27 (:TYPE-PRESCRIPTION BINARY-APPEND))
 (20 20 (:TYPE-PRESCRIPTION STR::PRINTABLE-P))
 (20 20 (:REWRITE DEFAULT-CDR))
 (20 20 (:REWRITE DEFAULT-CAR))
 (17 17 (:TYPE-PRESCRIPTION STR::PRINTTREE-P))
 (15 3 (:REWRITE STR::PRINTABLE-FIX-WHEN-PRINTABLE-P))
 (10 10 (:REWRITE STR::PRINTABLE-P-WHEN-STRINGP))
 (10 10 (:REWRITE STR::PRINTABLE-P-WHEN-CHARACTERP))
 (9 8 (:REWRITE STR::PRINTTREE-P-WHEN-CONSP))
 )
