(BOUNDP-GLOBAL-IS-BOUNDP-GLOBAL1)
(OPEN-OUTPUT-CHANNEL-P-IS-OPEN-OUTPUT-CHANNEL-P1)
(STATE-P-IS-STATE-P1)
(NORMALIZE-GET-SERIALIZE-CHARACTER)
(PRINT-LEGIBLY-AUX)
(STATE-P1-OF-PRINT-LEGIBLY-AUX)
(OPEN-OUTPUT-CHANNEL-P1-OF-PRINT-LEGIBLY-AUX)
(PRINT-LEGIBLY-FN)
(STATE-P1-OF-PRINT-LEGIBLY)
(OPEN-OUTPUT-CHANNEL-P1-OF-PRINT-LEGIBLY)
(PRINT-COMPRESSED-FN)
(STATE-P1-OF-PRINT-COMPRESSED)
(OPEN-OUTPUT-CHANNEL-P1-OF-PRINT-COMPRESSED)
