(C$::GRAMMAR-CHARACTER-P-WHEN-LETTER/DIGIT/USCORE-CHAR-P)
(C$::GRAMMAR-CHARACTER-LISTP-WHEN-LETTER/DIGIT/USCORE-CHARLIST-P
 (26 4 (:REWRITE STR::LETTER/DIGIT/USCORE-CHAR-P-OF-CAR-WHEN-LETTER/DIGIT/USCORE-CHARLIST-P))
 (10 10 (:REWRITE STR::LETTER/DIGIT/USCORE-CHARLIST-P-WHEN-SUBSETP-EQUAL))
 (9 1 (:REWRITE SUBSETP-OF-CONS))
 (8 8 (:REWRITE STR::LETTER/DIGIT/USCORE-CHAR-P-WHEN-MEMBER-EQUAL-OF-LETTER/DIGIT/USCORE-CHARLIST-P))
 (8 4 (:REWRITE C$::GRAMMAR-CHARACTER-P-WHEN-MEMBER-EQUAL-OF-GRAMMAR-CHARACTER-LISTP))
 (6 2 (:REWRITE C$::GRAMMAR-CHARACTER-LISTP-WHEN-NOT-CONSP))
 (5 5 (:TYPE-PRESCRIPTION MEMBER-EQUAL))
 (3 3 (:TYPE-PRESCRIPTION CHARS=>NATS))
 (3 3 (:REWRITE SUBSETP-TRANS2))
 (3 3 (:REWRITE SUBSETP-TRANS))
 (2 2 (:TYPE-PRESCRIPTION STR::BOOLEANP-OF-LETTER/DIGIT/USCORE-CHAR-P))
 (2 2 (:REWRITE SUBSETP-MEMBER . 2))
 (2 2 (:REWRITE SUBSETP-MEMBER . 1))
 (1 1 (:REWRITE CONSP-OF-CHARS=>NATS))
 )
(TMP-DEFTYPES-POSP-OF-POS-FIX)
(TMP-DEFTYPES-BOOLEANP-OF-BOOL-FIX$INLINE)
(C$::PRIOPTP
 (48 12 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (40 10 (:REWRITE FTY::PROVE-EQUAL-OF-CONS-WHEN-FIRST-QUOTEP))
 (24 24 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (12 12 (:REWRITE HONS-DUPLICITY-ALIST-P-WHEN-NOT-CONSP))
 )
(C$::CONSP-WHEN-PRIOPTP)
(C$::PRIOPT-FIX$INLINE)
(C$::PRIOPTP-OF-PRIOPT-FIX
 (14 6 (:REWRITE BOOL-FIX-WHEN-BOOLEANP))
 (12 4 (:REWRITE POS-FIX-WHEN-POSP))
 (8 8 (:TYPE-PRESCRIPTION POSP))
 (8 8 (:TYPE-PRESCRIPTION BOOLEANP))
 )
(C$::PRIOPT-FIX-WHEN-PRIOPTP
 (5 2 (:REWRITE FTY::PROVE-EQUAL-OF-CONS-WHEN-FIRST-QUOTEP))
 (1 1 (:DEFINITION STRIP-CARS))
 (1 1 (:DEFINITION ALISTP))
 )
(C$::PRIOPT-FIX$INLINE
 (46 12 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (28 16 (:REWRITE FTY::PROVE-EQUAL-OF-CONS-WHEN-FIRST-QUOTEP))
 (21 21 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (10 10 (:REWRITE HONS-DUPLICITY-ALIST-P-WHEN-NOT-CONSP))
 (8 8 (:REWRITE FTY::EQUAL-OF-CONS-BY-EQUAL-OF-STRIP-CARS))
 (3 2 (:REWRITE HONS-DUPLICITY-ALIST-P-OF-CONS))
 )
(FTY::TMP-DEFFIXTYPE-IDEMPOTENT)
(C$::PRIOPT-EQUIV$INLINE)
(C$::PRIOPT-EQUIV-IS-AN-EQUIVALENCE)
(C$::PRIOPT-EQUIV-IMPLIES-EQUAL-PRIOPT-FIX-1)
(C$::PRIOPT-FIX-UNDER-PRIOPT-EQUIV)
(C$::EQUAL-OF-PRIOPT-FIX-1-FORWARD-TO-PRIOPT-EQUIV)
(C$::EQUAL-OF-PRIOPT-FIX-2-FORWARD-TO-PRIOPT-EQUIV)
(C$::PRIOPT-EQUIV-OF-PRIOPT-FIX-1-FORWARD)
(C$::PRIOPT-EQUIV-OF-PRIOPT-FIX-2-FORWARD)
(C$::PRIOPT->INDENT-SIZE$INLINE
 (4 1 (:REWRITE FTY::PROVE-EQUAL-OF-CONS-WHEN-FIRST-QUOTEP))
 (1 1 (:DEFINITION STRIP-CARS))
 )
(C$::POSP-OF-PRIOPT->INDENT-SIZE)
(C$::PRIOPT->INDENT-SIZE$INLINE-OF-PRIOPT-FIX-X
 (9 3 (:REWRITE C$::PRIOPT-FIX-WHEN-PRIOPTP))
 (6 6 (:TYPE-PRESCRIPTION C$::PRIOPTP))
 (3 1 (:REWRITE BOOL-FIX-WHEN-BOOLEANP))
 (2 2 (:TYPE-PRESCRIPTION BOOLEANP))
 )
(C$::PRIOPT->INDENT-SIZE$INLINE-PRIOPT-EQUIV-CONGRUENCE-ON-X)
(C$::PRIOPT->PAREN-NESTED-CONDS$INLINE
 (4 1 (:REWRITE FTY::PROVE-EQUAL-OF-CONS-WHEN-FIRST-QUOTEP))
 )
(C$::BOOLEANP-OF-PRIOPT->PAREN-NESTED-CONDS)
(C$::PRIOPT->PAREN-NESTED-CONDS$INLINE-OF-PRIOPT-FIX-X
 (9 3 (:REWRITE C$::PRIOPT-FIX-WHEN-PRIOPTP))
 (6 6 (:TYPE-PRESCRIPTION C$::PRIOPTP))
 (3 1 (:REWRITE POS-FIX-WHEN-POSP))
 (2 2 (:TYPE-PRESCRIPTION POSP))
 )
(C$::PRIOPT->PAREN-NESTED-CONDS$INLINE-PRIOPT-EQUIV-CONGRUENCE-ON-X)
(C$::PRIOPT)
(C$::PRIOPTP-OF-PRIOPT
 (8 4 (:REWRITE BOOL-FIX-WHEN-BOOLEANP))
 (6 2 (:REWRITE POS-FIX-WHEN-POSP))
 (4 4 (:TYPE-PRESCRIPTION POSP))
 (4 4 (:TYPE-PRESCRIPTION BOOLEANP))
 )
(C$::PRIOPT->INDENT-SIZE-OF-PRIOPT)
(C$::PRIOPT->PAREN-NESTED-CONDS-OF-PRIOPT)
(C$::PRIOPT-OF-FIELDS
 (3 1 (:REWRITE C$::PRIOPT-FIX-WHEN-PRIOPTP))
 (2 2 (:TYPE-PRESCRIPTION C$::PRIOPTP))
 )
(C$::PRIOPT-FIX-WHEN-PRIOPT
 (3 1 (:REWRITE C$::PRIOPT-FIX-WHEN-PRIOPTP))
 (2 2 (:TYPE-PRESCRIPTION C$::PRIOPTP))
 )
(C$::EQUAL-OF-PRIOPT
 (24 24 (:REWRITE POS-FIX-WHEN-POSP))
 (24 24 (:REWRITE BOOL-FIX-WHEN-BOOLEANP))
 )
(C$::PRIOPT-OF-POS-FIX-INDENT-SIZE
 (4 2 (:REWRITE BOOL-FIX-WHEN-BOOLEANP))
 (2 2 (:TYPE-PRESCRIPTION BOOLEANP))
 )
(C$::PRIOPT-POS-EQUIV-CONGRUENCE-ON-INDENT-SIZE)
(C$::PRIOPT-OF-BOOL-FIX-PAREN-NESTED-CONDS
 (4 2 (:REWRITE POS-FIX-WHEN-POSP))
 (2 2 (:TYPE-PRESCRIPTION POSP))
 )
(C$::PRIOPT-IFF-CONGRUENCE-ON-PAREN-NESTED-CONDS)
(C$::PRIOPT-FIX-REDEF)
(C$::DEFAULT-PRIOPT)
(C$::PRISTATEP
 (48 12 (:REWRITE ALISTP-WHEN-HONS-DUPLICITY-ALIST-P))
 (40 10 (:REWRITE FTY::PROVE-EQUAL-OF-CONS-WHEN-FIRST-QUOTEP))
 (24 24 (:TYPE-PRESCRIPTION HONS-DUPLICITY-ALIST-P))
 (12 12 (:REWRITE HONS-DUPLICITY-ALIST-P-WHEN-NOT-CONSP))
 )
(C$::CONSP-WHEN-PRISTATEP)
(C$::PRISTATE-FIX$INLINE)
(C$::PRISTATEP-OF-PRISTATE-FIX
 (18 10 (:REWRITE C::VERSION-FIX-WHEN-VERSIONP))
 (16 8 (:REWRITE C$::PRIOPT-FIX-WHEN-PRIOPTP))
 (14 6 (:REWRITE NFIX-WHEN-NATP))
 (12 4 (:REWRITE BYTE-LIST-FIX-WHEN-BYTE-LISTP))
 (8 8 (:TYPE-PRESCRIPTION C::VERSIONP))
 (8 8 (:TYPE-PRESCRIPTION C$::PRIOPTP))
 (8 8 (:TYPE-PRESCRIPTION NATP))
 (8 8 (:TYPE-PRESCRIPTION BYTE-LISTP))
 )
(C$::PRISTATE-FIX-WHEN-PRISTATEP
 (5 2 (:REWRITE FTY::PROVE-EQUAL-OF-CONS-WHEN-FIRST-QUOTEP))
 (1 1 (:DEFINITION STRIP-CARS))
 (1 1 (:DEFINITION ALISTP))
 )
(C$::PRISTATE-FIX$INLINE
 (5 2 (:REWRITE FTY::PROVE-EQUAL-OF-CONS-WHEN-FIRST-QUOTEP))
 (1 1 (:DEFINITION STRIP-CARS))
 (1 1 (:DEFINITION ALISTP))
 )
(FTY::TMP-DEFFIXTYPE-IDEMPOTENT)
(C$::PRISTATE-EQUIV$INLINE)
(C$::PRISTATE-EQUIV-IS-AN-EQUIVALENCE)
(C$::PRISTATE-EQUIV-IMPLIES-EQUAL-PRISTATE-FIX-1)
(C$::PRISTATE-FIX-UNDER-PRISTATE-EQUIV)
(C$::EQUAL-OF-PRISTATE-FIX-1-FORWARD-TO-PRISTATE-EQUIV)
(C$::EQUAL-OF-PRISTATE-FIX-2-FORWARD-TO-PRISTATE-EQUIV)
(C$::PRISTATE-EQUIV-OF-PRISTATE-FIX-1-FORWARD)
(C$::PRISTATE-EQUIV-OF-PRISTATE-FIX-2-FORWARD)
(C$::PRISTATE->BYTES-REV$INLINE
 (4 1 (:REWRITE FTY::PROVE-EQUAL-OF-CONS-WHEN-FIRST-QUOTEP))
 (1 1 (:DEFINITION STRIP-CARS))
 )
(C$::BYTE-LISTP-OF-PRISTATE->BYTES-REV)
(C$::PRISTATE->BYTES-REV$INLINE-OF-PRISTATE-FIX-X
 (9 3 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 (6 6 (:TYPE-PRESCRIPTION C$::PRISTATEP))
 (3 1 (:REWRITE C::VERSION-FIX-WHEN-VERSIONP))
 (3 1 (:REWRITE C$::PRIOPT-FIX-WHEN-PRIOPTP))
 (3 1 (:REWRITE NFIX-WHEN-NATP))
 (2 2 (:TYPE-PRESCRIPTION C::VERSIONP))
 (2 2 (:TYPE-PRESCRIPTION C$::PRIOPTP))
 (2 2 (:TYPE-PRESCRIPTION NATP))
 )
(C$::PRISTATE->BYTES-REV$INLINE-PRISTATE-EQUIV-CONGRUENCE-ON-X)
(C$::PRISTATE->INDENT-LEVEL$INLINE
 (4 1 (:REWRITE FTY::PROVE-EQUAL-OF-CONS-WHEN-FIRST-QUOTEP))
 )
(C$::NATP-OF-PRISTATE->INDENT-LEVEL)
(C$::PRISTATE->INDENT-LEVEL$INLINE-OF-PRISTATE-FIX-X
 (10 10 (:TYPE-PRESCRIPTION NATP))
 (9 3 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 (6 6 (:TYPE-PRESCRIPTION C$::PRISTATEP))
 (6 6 (:TYPE-PRESCRIPTION C$::PRISTATE-FIX$INLINE))
 (3 1 (:REWRITE C::VERSION-FIX-WHEN-VERSIONP))
 (3 1 (:REWRITE C$::PRIOPT-FIX-WHEN-PRIOPTP))
 (3 1 (:REWRITE BYTE-LIST-FIX-WHEN-BYTE-LISTP))
 (2 2 (:TYPE-PRESCRIPTION C::VERSIONP))
 (2 2 (:TYPE-PRESCRIPTION C$::PRIOPTP))
 (2 2 (:TYPE-PRESCRIPTION BYTE-LISTP))
 )
(C$::PRISTATE->INDENT-LEVEL$INLINE-PRISTATE-EQUIV-CONGRUENCE-ON-X)
(C$::PRISTATE->OPTIONS$INLINE
 (4 1 (:REWRITE FTY::PROVE-EQUAL-OF-CONS-WHEN-FIRST-QUOTEP))
 )
(C$::PRIOPTP-OF-PRISTATE->OPTIONS)
(C$::PRISTATE->OPTIONS$INLINE-OF-PRISTATE-FIX-X
 (9 3 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 (6 6 (:TYPE-PRESCRIPTION C$::PRISTATEP))
 (3 1 (:REWRITE C::VERSION-FIX-WHEN-VERSIONP))
 (3 1 (:REWRITE NFIX-WHEN-NATP))
 (3 1 (:REWRITE BYTE-LIST-FIX-WHEN-BYTE-LISTP))
 (2 2 (:TYPE-PRESCRIPTION C::VERSIONP))
 (2 2 (:TYPE-PRESCRIPTION NATP))
 (2 2 (:TYPE-PRESCRIPTION BYTE-LISTP))
 )
(C$::PRISTATE->OPTIONS$INLINE-PRISTATE-EQUIV-CONGRUENCE-ON-X)
(C$::PRISTATE->VERSION$INLINE
 (4 1 (:REWRITE FTY::PROVE-EQUAL-OF-CONS-WHEN-FIRST-QUOTEP))
 )
(C$::VERSIONP-OF-PRISTATE->VERSION)
(C$::PRISTATE->VERSION$INLINE-OF-PRISTATE-FIX-X
 (9 3 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 (6 6 (:TYPE-PRESCRIPTION C$::PRISTATEP))
 (3 1 (:REWRITE C$::PRIOPT-FIX-WHEN-PRIOPTP))
 (3 1 (:REWRITE NFIX-WHEN-NATP))
 (3 1 (:REWRITE BYTE-LIST-FIX-WHEN-BYTE-LISTP))
 (2 2 (:TYPE-PRESCRIPTION C$::PRIOPTP))
 (2 2 (:TYPE-PRESCRIPTION NATP))
 (2 2 (:TYPE-PRESCRIPTION BYTE-LISTP))
 )
(C$::PRISTATE->VERSION$INLINE-PRISTATE-EQUIV-CONGRUENCE-ON-X)
(C$::PRISTATE)
(C$::PRISTATEP-OF-PRISTATE
 (15 9 (:REWRITE C::VERSION-FIX-WHEN-VERSIONP))
 (13 7 (:REWRITE C$::PRIOPT-FIX-WHEN-PRIOPTP))
 (11 5 (:REWRITE NFIX-WHEN-NATP))
 (10 4 (:REWRITE BYTE-LIST-FIX-WHEN-BYTE-LISTP))
 (6 6 (:TYPE-PRESCRIPTION NATP))
 )
(C$::PRISTATE->BYTES-REV-OF-PRISTATE)
(C$::PRISTATE->INDENT-LEVEL-OF-PRISTATE
 (10 10 (:TYPE-PRESCRIPTION NATP))
 (6 6 (:TYPE-PRESCRIPTION C$::PRISTATE))
 )
(C$::PRISTATE->OPTIONS-OF-PRISTATE)
(C$::PRISTATE->VERSION-OF-PRISTATE)
(C$::PRISTATE-OF-FIELDS
 (3 1 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 (2 2 (:TYPE-PRESCRIPTION C$::PRISTATEP))
 (2 2 (:TYPE-PRESCRIPTION NATP))
 )
(C$::PRISTATE-FIX-WHEN-PRISTATE
 (3 1 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 (2 2 (:TYPE-PRESCRIPTION C$::PRISTATEP))
 (2 2 (:TYPE-PRESCRIPTION NATP))
 )
(C$::EQUAL-OF-PRISTATE
 (1 1 (:REWRITE FTY::PROVE-EQUAL-OF-CONS-WHEN-FIRST-QUOTEP))
 (1 1 (:REWRITE FTY::EQUAL-OF-CONS-BY-EQUAL-OF-STRIP-CARS))
 )
(C$::PRISTATE-OF-BYTE-LIST-FIX-BYTES-REV
 (4 2 (:REWRITE C::VERSION-FIX-WHEN-VERSIONP))
 (4 2 (:REWRITE C$::PRIOPT-FIX-WHEN-PRIOPTP))
 (4 2 (:REWRITE NFIX-WHEN-NATP))
 (2 2 (:TYPE-PRESCRIPTION C::VERSIONP))
 (2 2 (:TYPE-PRESCRIPTION C$::PRIOPTP))
 (2 2 (:TYPE-PRESCRIPTION NATP))
 )
(C$::PRISTATE-BYTE-LIST-EQUIV-CONGRUENCE-ON-BYTES-REV)
(C$::PRISTATE-OF-NFIX-INDENT-LEVEL
 (4 2 (:REWRITE C::VERSION-FIX-WHEN-VERSIONP))
 (4 2 (:REWRITE C$::PRIOPT-FIX-WHEN-PRIOPTP))
 (4 2 (:REWRITE BYTE-LIST-FIX-WHEN-BYTE-LISTP))
 (2 2 (:TYPE-PRESCRIPTION C::VERSIONP))
 (2 2 (:TYPE-PRESCRIPTION C$::PRIOPTP))
 (2 2 (:TYPE-PRESCRIPTION NATP))
 (2 2 (:TYPE-PRESCRIPTION BYTE-LISTP))
 )
(C$::PRISTATE-NAT-EQUIV-CONGRUENCE-ON-INDENT-LEVEL)
(C$::PRISTATE-OF-PRIOPT-FIX-OPTIONS
 (4 2 (:REWRITE C::VERSION-FIX-WHEN-VERSIONP))
 (4 2 (:REWRITE NFIX-WHEN-NATP))
 (4 2 (:REWRITE BYTE-LIST-FIX-WHEN-BYTE-LISTP))
 (2 2 (:TYPE-PRESCRIPTION C::VERSIONP))
 (2 2 (:TYPE-PRESCRIPTION NATP))
 (2 2 (:TYPE-PRESCRIPTION BYTE-LISTP))
 )
(C$::PRISTATE-PRIOPT-EQUIV-CONGRUENCE-ON-OPTIONS)
(C$::PRISTATE-OF-VERSION-FIX-VERSION
 (4 2 (:REWRITE C$::PRIOPT-FIX-WHEN-PRIOPTP))
 (4 2 (:REWRITE NFIX-WHEN-NATP))
 (4 2 (:REWRITE BYTE-LIST-FIX-WHEN-BYTE-LISTP))
 (2 2 (:TYPE-PRESCRIPTION C$::PRIOPTP))
 (2 2 (:TYPE-PRESCRIPTION NATP))
 (2 2 (:TYPE-PRESCRIPTION BYTE-LISTP))
 )
(C$::PRISTATE-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::PRISTATE-FIX-REDEF)
(C$::INIT-PRISTATE)
(C$::PRISTATEP-OF-INIT-PRISTATE)
(C$::PRISTATE->VERSION-OF-INIT-PRISTATE)
(C$::INIT-PRISTATE-OF-PRIOPT-FIX-OPTIONS)
(C$::INIT-PRISTATE-PRIOPT-EQUIV-CONGRUENCE-ON-OPTIONS)
(C$::INIT-PRISTATE-OF-VERSION-FIX-VERSION)
(C$::INIT-PRISTATE-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::DEFRET-MUT-SAME-VERSION-FN)
(C$::INC-PRISTATE-INDENT)
(C$::PRISTATEP-OF-INC-PRISTATE-INDENT)
(C$::PRISTATE->VERSION-OF-INC-PRISTATE-IDENT
 (6 6 (:TYPE-PRESCRIPTION C::VERSION-KIND$INLINE))
 (2 1 (:REWRITE C::VERSION-FIX-WHEN-C23+GCC))
 (2 1 (:REWRITE C::VERSION-FIX-WHEN-C23+CLANG))
 (2 1 (:REWRITE C::VERSION-FIX-WHEN-C23))
 (2 1 (:REWRITE C::VERSION-FIX-WHEN-C17+GCC))
 (2 1 (:REWRITE C::VERSION-FIX-WHEN-C17+CLANG))
 (2 1 (:REWRITE C::VERSION-FIX-WHEN-C17))
 )
(C$::INC-PRISTATE-INDENT-OF-PRISTATE-FIX-PSTATE
 (3 1 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 (2 2 (:TYPE-PRESCRIPTION C$::PRISTATEP))
 )
(C$::INC-PRISTATE-INDENT-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::DEC-PRISTATE-INDENT)
(C$::PRISTATEP-OF-DEC-PRISTATE-INDENT)
(C$::PRISTATE->VERSION-OF-DEC-PRISTATE-IDENT
 (6 6 (:TYPE-PRESCRIPTION C::VERSION-KIND$INLINE))
 (2 1 (:REWRITE C::VERSION-FIX-WHEN-C23+GCC))
 (2 1 (:REWRITE C::VERSION-FIX-WHEN-C23+CLANG))
 (2 1 (:REWRITE C::VERSION-FIX-WHEN-C23))
 (2 1 (:REWRITE C::VERSION-FIX-WHEN-C17+GCC))
 (2 1 (:REWRITE C::VERSION-FIX-WHEN-C17+CLANG))
 (2 1 (:REWRITE C::VERSION-FIX-WHEN-C17))
 )
(C$::DEC-PRISTATE-INDENT-OF-PRISTATE-FIX-PSTATE)
(C$::DEC-PRISTATE-INDENT-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-CHAR
 (332 332 (:TYPE-PRESCRIPTION LOGAND-NEGATIVE-TYPE))
 (168 48 (:REWRITE LOGIOR-WHEN-NOT-INTEGERP-ARG2))
 (120 48 (:REWRITE LOGIOR-WHEN-NOT-INTEGERP-ARG1))
 (88 56 (:REWRITE LOGAND-WHEN-NOT-INTEGERP-ARG2-CHEAP))
 (80 56 (:REWRITE LOGAND-WHEN-NOT-INTEGERP-ARG1-CHEAP))
 (56 56 (:REWRITE BYTE-LISTP-WHEN-SUBSETP-EQUAL))
 (40 40 (:REWRITE BYTEP-WHEN-MEMBER-EQUAL-OF-BYTE-LISTP))
 (32 24 (:REWRITE BYTE-LISTP-WHEN-NOT-CONSP))
 (27 27 (:TYPE-PRESCRIPTION <-OF-LOGIOR-AND-0-TYPE))
 (20 20 (:REWRITE NATP-WHEN-MEMBER-EQUAL-OF-NAT-LISTP))
 (6 6 (:REWRITE UNSIGNED-BYTE-P-ASH-ALT-STRONG))
 (4 4 (:REWRITE REV-WHEN-NOT-CONSP))
 (2 2 (:REWRITE CONSP-OF-REV))
 )
(C$::PRISTATEP-OF-PRINT-CHAR)
(C$::PRINT-CHAR-OF-PRISTATE-FIX-PSTATE
 (108 36 (:REWRITE LOGIOR-WHEN-NOT-INTEGERP-ARG2))
 (108 36 (:REWRITE LOGIOR-WHEN-NOT-INTEGERP-ARG1))
 (48 24 (:TYPE-PRESCRIPTION LOGAND-NON-POSITIVE-TYPE))
 (36 36 (:TYPE-PRESCRIPTION ASH))
 (36 36 (:TYPE-PRESCRIPTION <=-OF-0-AND-ASH-TYPE))
 (36 24 (:REWRITE LOGAND-WHEN-NOT-INTEGERP-ARG2-CHEAP))
 (36 24 (:REWRITE LOGAND-WHEN-NOT-INTEGERP-ARG1-CHEAP))
 (24 24 (:TYPE-PRESCRIPTION LOGAND-NON-NEGATIVE-TYPE))
 (24 24 (:TYPE-PRESCRIPTION LOGAND-NEGATIVE-TYPE))
 (24 24 (:TYPE-PRESCRIPTION BINARY-LOGAND))
 (5 2 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (3 1 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 (2 2 (:TYPE-PRESCRIPTION C$::PRISTATEP))
 (2 2 (:REWRITE REV-WHEN-NOT-CONSP))
 (1 1 (:REWRITE CONSP-OF-REV))
 )
(C$::PRINT-CHAR-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRISTATE->VERSION-OF-PRINT-CHAR
 (54 18 (:REWRITE LOGIOR-WHEN-NOT-INTEGERP-ARG2))
 (54 18 (:REWRITE LOGIOR-WHEN-NOT-INTEGERP-ARG1))
 (24 12 (:TYPE-PRESCRIPTION LOGAND-NON-POSITIVE-TYPE))
 (18 18 (:TYPE-PRESCRIPTION ASH))
 (18 18 (:TYPE-PRESCRIPTION <=-OF-0-AND-ASH-TYPE))
 (18 12 (:REWRITE LOGAND-WHEN-NOT-INTEGERP-ARG2-CHEAP))
 (18 12 (:REWRITE LOGAND-WHEN-NOT-INTEGERP-ARG1-CHEAP))
 (12 12 (:TYPE-PRESCRIPTION LOGAND-NON-NEGATIVE-TYPE))
 (12 12 (:TYPE-PRESCRIPTION LOGAND-NEGATIVE-TYPE))
 (12 12 (:TYPE-PRESCRIPTION BINARY-LOGAND))
 (6 6 (:TYPE-PRESCRIPTION C::VERSION-KIND$INLINE))
 (4 1 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (2 2 (:TYPE-PRESCRIPTION REV))
 (2 1 (:REWRITE C::VERSION-FIX-WHEN-C23+GCC))
 (2 1 (:REWRITE C::VERSION-FIX-WHEN-C23+CLANG))
 (2 1 (:REWRITE C::VERSION-FIX-WHEN-C23))
 (2 1 (:REWRITE C::VERSION-FIX-WHEN-C17+GCC))
 (2 1 (:REWRITE C::VERSION-FIX-WHEN-C17+CLANG))
 (2 1 (:REWRITE C::VERSION-FIX-WHEN-C17))
 (1 1 (:REWRITE REV-WHEN-NOT-CONSP))
 (1 1 (:REWRITE CONSP-OF-REV))
 )
(C$::PRINT-CHARS
 (2 2 (:REWRITE SUBSETP-TRANS2))
 (2 2 (:REWRITE SUBSETP-TRANS))
 (1 1 (:REWRITE NAT-LISTP-WHEN-UNSIGNED-BYTE-LISTP))
 (1 1 (:REWRITE NAT-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE C$::GRAMMAR-CHARACTER-LISTP-WHEN-NOT-CONSP))
 )
(C$::PRISTATEP-OF-PRINT-CHARS
 (3 1 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 )
(C$::PRINT-CHARS-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-CHARS-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRISTATE->VERSION-OF-PRINT-CHARS)
(C$::PRINT-NEW-LINE)
(C$::PRISTATEP-OF-PRINT-NEW-LINE)
(C$::PRISTATE->VERSION-OF-PRINT-NEW-LINE)
(C$::PRINT-NEW-LINE-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-NEW-LINE-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-INDENT
 (16 2 (:REWRITE REPEAT-WHEN-ZP))
 (9 1 (:REWRITE ZP-OPEN))
 (1 1 (:TYPE-PRESCRIPTION ZP))
 )
(C$::PRISTATEP-OF-PRINT-INDENT)
(C$::PRISTATE->VERSION-OF-PRINT-INDENT
 (15 1 (:REWRITE REPEAT-WHEN-ZP))
 (9 1 (:REWRITE ZP-OPEN))
 (6 6 (:TYPE-PRESCRIPTION C$::PRISTATE->INDENT-LEVEL$INLINE))
 (6 6 (:TYPE-PRESCRIPTION C$::PRIOPT->INDENT-SIZE$INLINE))
 (1 1 (:TYPE-PRESCRIPTION ZP))
 )
(C$::PRINT-INDENT-OF-PRISTATE-FIX-PSTATE
 (16 2 (:REWRITE REPEAT-WHEN-ZP))
 (9 1 (:REWRITE ZP-OPEN))
 (6 6 (:TYPE-PRESCRIPTION C$::PRIOPT->INDENT-SIZE$INLINE))
 (3 1 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 (2 2 (:TYPE-PRESCRIPTION C$::PRISTATEP))
 (1 1 (:TYPE-PRESCRIPTION ZP))
 )
(C$::PRINT-INDENT-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-ASTRING)
(C$::PRISTATEP-OF-PRINT-ASTRING)
(C$::PRINT-ASTRING-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-ASTRING-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRISTATE->VERSION-OF-PRINT-ATRING)
(C$::PRINT-DEC-DIGIT-ACHAR)
(C$::PRISTATEP-OF-PRINT-DEC-DIGIT-ACHAR)
(C$::PRINT-DEC-DIGIT-ACHAR-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-DEC-DIGIT-ACHAR-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRISTATE->VERSION-OF-PRINT-DEC-DIGIT-ACHAR)
(C$::PRINT-DEC-DIGIT-ACHARS
 (1 1 (:REWRITE SUBSETP-TRANS2))
 (1 1 (:REWRITE SUBSETP-TRANS))
 (1 1 (:REWRITE STR::DEC-DIGIT-CHAR-LISTP-WHEN-NOT-CONSP))
 )
(C$::PRISTATEP-OF-PRINT-DEC-DIGIT-ACHARS
 (3 1 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 )
(C$::PRINT-DEC-DIGIT-ACHARS-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-DEC-DIGIT-ACHARS-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRISTATE->VERSION-OF-PRINT-DEC-DIGIT-ACHARS)
(C$::PRINT-OCT-DIGIT-ACHAR)
(C$::PRISTATEP-OF-PRINT-OCT-DIGIT-ACHAR)
(C$::PRINT-OCT-DIGIT-ACHAR-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-OCT-DIGIT-ACHAR-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRISTATE->VERSION-OF-PRINT-OCT-DIGIT-ACHAR)
(C$::PRINT-OCT-DIGIT-ACHARS
 (1 1 (:REWRITE SUBSETP-TRANS2))
 (1 1 (:REWRITE SUBSETP-TRANS))
 (1 1 (:REWRITE STR::OCT-DIGIT-CHAR-LISTP-WHEN-NOT-CONSP))
 )
(C$::PRISTATEP-OF-PRINT-OCT-DIGIT-ACHARS
 (3 1 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 )
(C$::PRINT-OCT-DIGIT-ACHARS-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-OCT-DIGIT-ACHARS-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRISTATE->VERSION-OF-PRINT-OCT-DIGIT-ACHARS)
(C$::PRINT-HEX-DIGIT-ACHAR)
(C$::PRISTATEP-OF-PRINT-HEX-DIGIT-ACHAR)
(C$::PRINT-HEX-DIGIT-ACHAR-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-HEX-DIGIT-ACHAR-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRISTATE->VERSION-OF-PRINT-HEX-DIGIT-ACHAR)
(C$::PRINT-HEX-DIGIT-ACHARS
 (1 1 (:REWRITE SUBSETP-TRANS2))
 (1 1 (:REWRITE SUBSETP-TRANS))
 (1 1 (:REWRITE STR::HEX-DIGIT-CHAR-LISTP-WHEN-NOT-CONSP))
 )
(C$::PRISTATEP-OF-PRINT-HEX-DIGIT-ACHARS
 (3 1 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 )
(C$::PRINT-HEX-DIGIT-ACHARS-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-HEX-DIGIT-ACHARS-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRISTATE->VERSION-OF-PRINT-HEX-DIGIT-ACHARS)
(C$::PRINT-IDENT
 (16 1 (:REWRITE STR::DEC-DIGIT-CHAR-P-OF-CAR-WHEN-DEC-DIGIT-CHAR-LIST*P))
 (12 2 (:REWRITE STR::DEC-DIGIT-CHAR-LIST*P-WHEN-DEC-DIGIT-CHAR-LISTP))
 (12 1 (:REWRITE STR::DEC-DIGIT-CHAR-P-OF-CAR-WHEN-DEC-DIGIT-CHAR-LISTP))
 (10 1 (:REWRITE STR::CHARACTER-LISTP-WHEN-OCT-DIGIT-CHAR-LIST*P))
 (10 1 (:REWRITE STR::CHARACTER-LISTP-WHEN-HEX-DIGIT-CHAR-LIST*P))
 (8 1 (:REWRITE STR::CHARACTER-LISTP-WHEN-DEC-DIGIT-CHAR-LIST*P))
 (6 2 (:REWRITE STR::DEC-DIGIT-CHAR-LIST*P-WHEN-NOT-CONSP))
 (5 5 (:TYPE-PRESCRIPTION STR::DEC-DIGIT-CHAR-LISTP))
 (5 2 (:REWRITE STR::DEC-DIGIT-CHAR-LISTP-WHEN-NOT-CONSP))
 (4 4 (:TYPE-PRESCRIPTION STR::DEC-DIGIT-CHAR-LIST*P))
 (4 4 (:REWRITE C$::IDENTP-WHEN-MEMBER-EQUAL-OF-IDENT-LISTP))
 (4 4 (:REWRITE STR::DEC-DIGIT-CHAR-LISTP-WHEN-SUBSETP-EQUAL))
 (4 1 (:REWRITE STR::LETTER/DIGIT/USCORE-CHARLIST-P-WHEN-NOT-CONSP))
 (3 1 (:REWRITE STR::OCT-DIGIT-CHAR-LIST*P-WHEN-OCT-DIGIT-CHAR-LISTP))
 (3 1 (:REWRITE STR::HEX-DIGIT-CHAR-LIST*P-WHEN-HEX-DIGIT-CHAR-LISTP))
 (3 1 (:REWRITE STR::DEC-DIGIT-CHAR-P-WHEN-NONZERO-DEC-DIGIT-CHAR-P))
 (2 2 (:TYPE-PRESCRIPTION STR::OCT-DIGIT-CHAR-LIST*P))
 (2 2 (:TYPE-PRESCRIPTION STR::NONZERO-DEC-DIGIT-CHAR-P$INLINE))
 (2 2 (:TYPE-PRESCRIPTION STR::HEX-DIGIT-CHAR-LIST*P))
 (2 2 (:REWRITE STR::OCT-DIGIT-CHAR-LIST*P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE NAT-LISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE STR::LETTER/DIGIT/USCORE-CHARLIST-P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE C$::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (2 2 (:REWRITE C$::IDENT-OPTIONP-WHEN-IN-IDENT-OPTION-SETP-BINDS-FREE-X))
 (2 2 (:REWRITE STR::HEX-DIGIT-CHAR-LIST*P-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE STR::EXPLODE-WHEN-NOT-STRINGP))
 (2 2 (:REWRITE STR::DEC-DIGIT-CHAR-P-WHEN-MEMBER-EQUAL-OF-DEC-DIGIT-CHAR-LISTP))
 (2 1 (:REWRITE STR::OCT-DIGIT-CHAR-LIST*P-WHEN-NOT-CONSP))
 (2 1 (:REWRITE MEMBER-WHEN-ATOM))
 (2 1 (:REWRITE STR::HEX-DIGIT-CHAR-LIST*P-WHEN-NOT-CONSP))
 (1 1 (:TYPE-PRESCRIPTION STR::OCT-DIGIT-CHAR-LISTP))
 (1 1 (:TYPE-PRESCRIPTION C::KEYWORDS-FOR))
 (1 1 (:TYPE-PRESCRIPTION STR::HEX-DIGIT-CHAR-LISTP))
 (1 1 (:REWRITE SUBSETP-MEMBER . 4))
 (1 1 (:REWRITE SUBSETP-MEMBER . 3))
 (1 1 (:REWRITE SUBSETP-MEMBER . 2))
 (1 1 (:REWRITE SUBSETP-MEMBER . 1))
 (1 1 (:REWRITE INTERSECTP-MEMBER . 3))
 (1 1 (:REWRITE INTERSECTP-MEMBER . 2))
 )
(C$::PRISTATEP-OF-PRINT-IDENT)
(C$::PRISTATE->VERSION-OF-PRINT-IDENT)
(C$::PRINT-IDENT-OF-IDENT-FIX-IDENT)
(C$::PRINT-IDENT-IDENT-EQUIV-CONGRUENCE-ON-IDENT)
(C$::PRINT-IDENT-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-IDENT-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-IDENT-LIST
 (15 2 (:REWRITE C$::IDENTP-WHEN-IDENT-OPTIONP))
 (12 1 (:REWRITE C$::IDENT-OPTIONP-WHEN-IDENTP))
 (7 2 (:REWRITE C$::IDENT-AIDENTP-WHEN-IDENT-OPTION-AIDENTP-AND-NOT-NIL))
 (5 1 (:REWRITE C$::IDENT-OPTION-AIDENTP-WHEN-IDENT-AIDENTP))
 (4 4 (:REWRITE C$::IDENT-LISTP-WHEN-MEMBER-EQUAL-OF-IDENT-LIST-LISTP))
 (2 2 (:TYPE-PRESCRIPTION C$::IDENT-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION C$::IDENT-OPTION-AIDENTP))
 (2 2 (:REWRITE SUBSETP-TRANS2))
 (2 2 (:REWRITE SUBSETP-TRANS))
 (2 2 (:REWRITE C$::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (1 1 (:TYPE-PRESCRIPTION C$::IDENTP))
 (1 1 (:REWRITE C$::IDENT-OPTIONP-WHEN-IN-IDENT-OPTION-SETP-BINDS-FREE-X))
 (1 1 (:REWRITE C$::IDENT-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE C$::IDENT-LIST-AIDENTP-WHEN-ATOM))
 )
(C$::PRISTATEP-OF-PRINT-IDENT-LIST
 (3 1 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 )
(C$::PRISTATE->VERSION-OF-PRINT-IDENT-LIST)
(C$::PRINT-IDENT-LIST-OF-IDENT-LIST-FIX-IDENTS
 (479 43 (:REWRITE C$::IDENT-LIST-FIX-WHEN-IDENT-LISTP))
 (136 17 (:REWRITE C$::IDENT-LISTP-OF-CDR-WHEN-IDENT-LISTP))
 (120 120 (:REWRITE C$::IDENT-LISTP-WHEN-SUBSETP-EQUAL))
 (120 120 (:REWRITE C$::IDENT-LISTP-WHEN-MEMBER-EQUAL-OF-IDENT-LIST-LISTP))
 (60 60 (:REWRITE C$::IDENT-LISTP-WHEN-NOT-CONSP))
 (6 2 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 (4 4 (:TYPE-PRESCRIPTION C$::PRISTATEP))
 )
(C$::PRINT-IDENT-LIST-IDENT-LIST-EQUIV-CONGRUENCE-ON-IDENTS)
(C$::PRINT-IDENT-LIST-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-IDENT-LIST-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-LSUFFIX)
(C$::PRISTATEP-OF-PRINT-LSUFFIX)
(C$::PRISTATE->VERSION-OF-PRINT-LSUFFIX)
(C$::PRINT-LSUFFIX-OF-LSUFFIX-FIX-LSUFFIX)
(C$::PRINT-LSUFFIX-LSUFFIX-EQUIV-CONGRUENCE-ON-LSUFFIX)
(C$::PRINT-LSUFFIX-OF-PRISTATE-FIX-PSTATE
 (3 1 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 (2 2 (:TYPE-PRESCRIPTION C$::PRISTATEP))
 )
(C$::PRINT-LSUFFIX-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-USUFFIX)
(C$::PRISTATEP-OF-PRINT-USUFFIX)
(C$::PRISTATE->VERSION-OF-PRINT-USUFFIX)
(C$::PRINT-USUFFIX-OF-USUFFIX-FIX-USUFFIX)
(C$::PRINT-USUFFIX-USUFFIX-EQUIV-CONGRUENCE-ON-USUFFIX)
(C$::PRINT-USUFFIX-OF-PRISTATE-FIX-PSTATE
 (3 1 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 (2 2 (:TYPE-PRESCRIPTION C$::PRISTATEP))
 )
(C$::PRINT-USUFFIX-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-ISUFFIX)
(C$::PRISTATEP-OF-PRINT-ISUFFIX)
(C$::PRISTATE->VERSION-OF-PRINT-ISUFFIX)
(C$::PRINT-ISUFFIX-OF-ISUFFIX-FIX-ISUFFIX
 (8 1 (:REWRITE C$::ISUFFIX-FIX-WHEN-ISUFFIXP))
 (5 1 (:REWRITE C$::ISUFFIXP-WHEN-ISUFFIX-OPTIONP))
 (3 3 (:TYPE-PRESCRIPTION C$::ISUFFIXP))
 (2 2 (:TYPE-PRESCRIPTION C$::ISUFFIX-OPTIONP))
 (2 1 (:REWRITE C$::ISUFFIX-OPTIONP-WHEN-ISUFFIXP))
 )
(C$::PRINT-ISUFFIX-ISUFFIX-EQUIV-CONGRUENCE-ON-ISUFFIX)
(C$::PRINT-ISUFFIX-OF-PRISTATE-FIX-PSTATE
 (3 1 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 (2 2 (:TYPE-PRESCRIPTION C$::PRISTATEP))
 )
(C$::PRINT-ISUFFIX-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-ISUFFIX-OPTION)
(C$::PRISTATEP-OF-PRINT-ISUFFIX-OPTION)
(C$::PRISTATE->VERSION-OF-PRINT-ISUFFIX-OPTION)
(C$::PRINT-ISUFFIX-OPTION-OF-ISUFFIX-OPTION-FIX-ISUFFIX?
 (8 1 (:REWRITE C$::ISUFFIX-OPTION-FIX-WHEN-ISUFFIX-OPTIONP))
 (6 2 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 (5 1 (:REWRITE C$::ISUFFIX-OPTIONP-WHEN-ISUFFIXP))
 (4 4 (:TYPE-PRESCRIPTION C$::PRISTATEP))
 (3 3 (:TYPE-PRESCRIPTION C$::ISUFFIX-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION C$::ISUFFIXP))
 (2 1 (:REWRITE C$::ISUFFIXP-WHEN-ISUFFIX-OPTIONP))
 (1 1 (:REWRITE C$::ISUFFIX-OPTION-FIX-WHEN-NONE))
 )
(C$::PRINT-ISUFFIX-OPTION-ISUFFIX-OPTION-EQUIV-CONGRUENCE-ON-ISUFFIX?)
(C$::PRINT-ISUFFIX-OPTION-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-ISUFFIX-OPTION-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-HPREFIX)
(C$::PRISTATEP-OF-PRINT-HPREFIX)
(C$::PRISTATE->VERSION-OF-PRINT-HPREFIX)
(C$::PRINT-HPREFIX-OF-HPREFIX-FIX-HPREFIX)
(C$::PRINT-HPREFIX-HPREFIX-EQUIV-CONGRUENCE-ON-HPREFIX)
(C$::PRINT-HPREFIX-OF-PRISTATE-FIX-PSTATE
 (3 1 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 (2 2 (:TYPE-PRESCRIPTION C$::PRISTATEP))
 )
(C$::PRINT-HPREFIX-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-DEC/OCT/HEX-CONST
 (13 1 (:REWRITE REV-WHEN-NOT-CONSP))
 (10 1 (:REWRITE STR::CONSP-OF-BASIC-NAT-TO-OCT-CHARS))
 (9 1 (:REWRITE STR::BASIC-NAT-TO-OCT-CHARS-WHEN-ZP))
 (7 2 (:REWRITE ZP-OPEN))
 (5 1 (:REWRITE STR::BASIC-NAT-TO-OCT-CHARS-UNDER-IFF))
 (4 2 (:REWRITE REPEAT-WHEN-ZP))
 (2 2 (:REWRITE STR::OCT-DIGIT-CHAR-LISTP-WHEN-SUBSETP-EQUAL))
 (1 1 (:TYPE-PRESCRIPTION ZP))
 )
(C$::PRISTATEP-OF-PRINT-DEC/OCT/HEX-CONST)
(C$::PRISTATE->VERSION-OF-PRINT-DEC/OCT/HEX-CONST
 (13 13 (:TYPE-PRESCRIPTION C$::DEC/OCT/HEX-CONST-OCT->VALUE$INLINE))
 (13 1 (:REWRITE REV-WHEN-NOT-CONSP))
 (10 1 (:REWRITE STR::CONSP-OF-BASIC-NAT-TO-OCT-CHARS))
 (9 1 (:REWRITE STR::BASIC-NAT-TO-OCT-CHARS-WHEN-ZP))
 (7 2 (:REWRITE ZP-OPEN))
 (5 1 (:REWRITE STR::BASIC-NAT-TO-OCT-CHARS-UNDER-IFF))
 (2 2 (:TYPE-PRESCRIPTION STR::TRUE-LISTP-OF-BASIC-NAT-TO-OCT-CHARS))
 (2 1 (:REWRITE REPEAT-WHEN-ZP))
 (1 1 (:TYPE-PRESCRIPTION ZP))
 (1 1 (:TYPE-PRESCRIPTION C$::DEC/OCT/HEX-CONST-OCT->LEADING-ZEROS$INLINE))
 )
(C$::PRINT-DEC/OCT/HEX-CONST-OF-DEC/OCT/HEX-CONST-FIX-DOHCONST
 (26 26 (:TYPE-PRESCRIPTION C$::DEC/OCT/HEX-CONST-OCT->VALUE$INLINE))
 (26 2 (:REWRITE REV-WHEN-NOT-CONSP))
 (20 2 (:REWRITE STR::CONSP-OF-BASIC-NAT-TO-OCT-CHARS))
 (18 2 (:REWRITE STR::BASIC-NAT-TO-OCT-CHARS-WHEN-ZP))
 (14 4 (:REWRITE ZP-OPEN))
 (10 2 (:REWRITE STR::BASIC-NAT-TO-OCT-CHARS-UNDER-IFF))
 (6 2 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 (4 4 (:TYPE-PRESCRIPTION STR::TRUE-LISTP-OF-BASIC-NAT-TO-OCT-CHARS))
 (4 4 (:TYPE-PRESCRIPTION C$::PRISTATEP))
 (4 2 (:REWRITE REPEAT-WHEN-ZP))
 (3 1 (:REWRITE C$::DEC/OCT/HEX-CONST-FIX-WHEN-DEC/OCT/HEX-CONSTP))
 (2 2 (:TYPE-PRESCRIPTION ZP))
 (2 2 (:TYPE-PRESCRIPTION C$::DEC/OCT/HEX-CONSTP))
 (2 2 (:TYPE-PRESCRIPTION C$::DEC/OCT/HEX-CONST-OCT->LEADING-ZEROS$INLINE))
 )
(C$::PRINT-DEC/OCT/HEX-CONST-DEC/OCT/HEX-CONST-EQUIV-CONGRUENCE-ON-DOHCONST)
(C$::PRINT-DEC/OCT/HEX-CONST-OF-PRISTATE-FIX-PSTATE
 (26 26 (:TYPE-PRESCRIPTION C$::DEC/OCT/HEX-CONST-OCT->VALUE$INLINE))
 (26 2 (:REWRITE REV-WHEN-NOT-CONSP))
 (20 2 (:REWRITE STR::CONSP-OF-BASIC-NAT-TO-OCT-CHARS))
 (18 2 (:REWRITE STR::BASIC-NAT-TO-OCT-CHARS-WHEN-ZP))
 (14 4 (:REWRITE ZP-OPEN))
 (10 2 (:REWRITE STR::BASIC-NAT-TO-OCT-CHARS-UNDER-IFF))
 (4 4 (:TYPE-PRESCRIPTION STR::TRUE-LISTP-OF-BASIC-NAT-TO-OCT-CHARS))
 (4 2 (:REWRITE REPEAT-WHEN-ZP))
 (2 2 (:TYPE-PRESCRIPTION ZP))
 (2 2 (:TYPE-PRESCRIPTION C$::DEC/OCT/HEX-CONST-OCT->LEADING-ZEROS$INLINE))
 )
(C$::PRINT-DEC/OCT/HEX-CONST-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-ICONST)
(C$::PRISTATEP-OF-PRINT-ICONST)
(C$::PRISTATE->VERSION-OF-PRINT-ICONST)
(C$::PRINT-ICONST-OF-ICONST-FIX-ICONST)
(C$::PRINT-ICONST-ICONST-EQUIV-CONGRUENCE-ON-ICONST)
(C$::PRINT-ICONST-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-ICONST-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-FSUFFIX)
(C$::PRISTATEP-OF-PRINT-FSUFFIX)
(C$::PRISTATE->VERSION-OF-PRINT-FSUFFIX)
(C$::PRINT-FSUFFIX-OF-FSUFFIX-FIX-FSUFFIX
 (8 1 (:REWRITE C$::FSUFFIX-FIX-WHEN-FSUFFIXP))
 (5 1 (:REWRITE C$::FSUFFIXP-WHEN-FSUFFIX-OPTIONP))
 (3 3 (:TYPE-PRESCRIPTION C$::FSUFFIXP))
 (2 2 (:TYPE-PRESCRIPTION C$::FSUFFIX-OPTIONP))
 (2 1 (:REWRITE C$::FSUFFIX-OPTIONP-WHEN-FSUFFIXP))
 (2 1 (:REWRITE C$::FSUFFIX-FIX-WHEN-UPCASE-L))
 (2 1 (:REWRITE C$::FSUFFIX-FIX-WHEN-UPCASE-F))
 (2 1 (:REWRITE C$::FSUFFIX-FIX-WHEN-LOCASE-L))
 (2 1 (:REWRITE C$::FSUFFIX-FIX-WHEN-LOCASE-F))
 )
(C$::PRINT-FSUFFIX-FSUFFIX-EQUIV-CONGRUENCE-ON-FSUFFIX)
(C$::PRINT-FSUFFIX-OF-PRISTATE-FIX-PSTATE
 (3 1 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 (2 2 (:TYPE-PRESCRIPTION C$::PRISTATEP))
 )
(C$::PRINT-FSUFFIX-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-FSUFFIX-OPTION)
(C$::PRISTATEP-OF-PRINT-FSUFFIX-OPTION)
(C$::PRISTATE->VERSION-OF-PRINT-FSUFFIX-OPTION)
(C$::PRINT-FSUFFIX-OPTION-OF-FSUFFIX-OPTION-FIX-FSUFFIX?
 (8 1 (:REWRITE C$::FSUFFIX-OPTION-FIX-WHEN-FSUFFIX-OPTIONP))
 (6 2 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 (5 1 (:REWRITE C$::FSUFFIX-OPTIONP-WHEN-FSUFFIXP))
 (4 4 (:TYPE-PRESCRIPTION C$::PRISTATEP))
 (3 3 (:TYPE-PRESCRIPTION C$::FSUFFIX-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION C$::FSUFFIXP))
 (2 1 (:REWRITE C$::FSUFFIXP-WHEN-FSUFFIX-OPTIONP))
 (1 1 (:REWRITE C$::FSUFFIX-OPTION-FIX-WHEN-NONE))
 )
(C$::PRINT-FSUFFIX-OPTION-FSUFFIX-OPTION-EQUIV-CONGRUENCE-ON-FSUFFIX?)
(C$::PRINT-FSUFFIX-OPTION-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-FSUFFIX-OPTION-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-SIGN)
(C$::PRISTATEP-OF-PRINT-SIGN)
(C$::PRISTATE->VERSION-OF-PRINT-SIGN)
(C$::PRINT-SIGN-OF-SIGN-FIX-SIGN)
(C$::PRINT-SIGN-SIGN-EQUIV-CONGRUENCE-ON-SIGN)
(C$::PRINT-SIGN-OF-PRISTATE-FIX-PSTATE
 (3 1 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 (2 2 (:TYPE-PRESCRIPTION C$::PRISTATEP))
 )
(C$::PRINT-SIGN-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-SIGN-OPTION)
(C$::PRISTATEP-OF-PRINT-SIGN-OPTION)
(C$::PRISTATE->VERSION-OF-PRINT-SIGN-OPTION)
(C$::PRINT-SIGN-OPTION-OF-SIGN-OPTION-FIX-SIGN?
 (8 1 (:REWRITE C$::SIGN-OPTION-FIX-WHEN-SIGN-OPTIONP))
 (6 2 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 (5 1 (:REWRITE C$::SIGN-OPTIONP-WHEN-SIGNP))
 (4 4 (:TYPE-PRESCRIPTION C$::PRISTATEP))
 (3 3 (:TYPE-PRESCRIPTION C$::SIGN-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION C$::SIGNP))
 (2 1 (:REWRITE C$::SIGNP-WHEN-SIGN-OPTIONP))
 (1 1 (:REWRITE C$::SIGN-OPTION-FIX-WHEN-NONE))
 )
(C$::PRINT-SIGN-OPTION-SIGN-OPTION-EQUIV-CONGRUENCE-ON-SIGN?)
(C$::PRINT-SIGN-OPTION-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-SIGN-OPTION-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-DEXPREFIX)
(C$::PRISTATEP-OF-PRINT-DEXPREFIX)
(C$::PRISTATE->VERSION-OF-PRINT-DEXPREFIX)
(C$::PRINT-DEXPREFIX-OF-DEXPREFIX-FIX-PREFIX)
(C$::PRINT-DEXPREFIX-DEXPREFIX-EQUIV-CONGRUENCE-ON-PREFIX)
(C$::PRINT-DEXPREFIX-OF-PRISTATE-FIX-PSTATE
 (3 1 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 (2 2 (:TYPE-PRESCRIPTION C$::PRISTATEP))
 )
(C$::PRINT-DEXPREFIX-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-BEXPREFIX)
(C$::PRISTATEP-OF-PRINT-BEXPREFIX)
(C$::PRISTATE->VERSION-OF-PRINT-BEXPREFIX)
(C$::PRINT-BEXPREFIX-OF-BEXPREFIX-FIX-PREFIX)
(C$::PRINT-BEXPREFIX-BEXPREFIX-EQUIV-CONGRUENCE-ON-PREFIX)
(C$::PRINT-BEXPREFIX-OF-PRISTATE-FIX-PSTATE
 (3 1 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 (2 2 (:TYPE-PRESCRIPTION C$::PRISTATEP))
 )
(C$::PRINT-BEXPREFIX-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-DEXPO)
(C$::PRISTATEP-OF-PRINT-DEXPO)
(C$::PRISTATE->VERSION-OF-PRINT-DEXPO)
(C$::PRINT-DEXPO-OF-DEXPO-FIX-EXPO
 (8 1 (:REWRITE C$::DEXPO-FIX-WHEN-DEXPOP))
 (5 1 (:REWRITE C$::DEXPOP-WHEN-DEXPO-OPTIONP))
 (3 3 (:TYPE-PRESCRIPTION C$::DEXPOP))
 (2 2 (:TYPE-PRESCRIPTION C$::DEXPO-OPTIONP))
 (2 1 (:REWRITE C$::DEXPO-OPTIONP-WHEN-DEXPOP))
 )
(C$::PRINT-DEXPO-DEXPO-EQUIV-CONGRUENCE-ON-EXPO)
(C$::PRINT-DEXPO-OF-PRISTATE-FIX-PSTATE
 (3 1 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 (2 2 (:TYPE-PRESCRIPTION C$::PRISTATEP))
 )
(C$::PRINT-DEXPO-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-DEXPO-OPTION)
(C$::PRISTATEP-OF-PRINT-DEXPO-OPTION)
(C$::PRISTATE->VERSION-OF-PRINT-DEXPO-OPTION)
(C$::PRINT-DEXPO-OPTION-OF-DEXPO-OPTION-FIX-EXPO?
 (8 1 (:REWRITE C$::DEXPO-OPTION-FIX-WHEN-DEXPO-OPTIONP))
 (6 2 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 (5 1 (:REWRITE C$::DEXPO-OPTIONP-WHEN-DEXPOP))
 (4 4 (:TYPE-PRESCRIPTION C$::PRISTATEP))
 (3 3 (:TYPE-PRESCRIPTION C$::DEXPO-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION C$::DEXPOP))
 (2 1 (:REWRITE C$::DEXPOP-WHEN-DEXPO-OPTIONP))
 (1 1 (:REWRITE C$::DEXPO-OPTION-FIX-WHEN-NONE))
 )
(C$::PRINT-DEXPO-OPTION-DEXPO-OPTION-EQUIV-CONGRUENCE-ON-EXPO?)
(C$::PRINT-DEXPO-OPTION-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-DEXPO-OPTION-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-BEXPO)
(C$::PRISTATEP-OF-PRINT-BEXPO)
(C$::PRISTATE->VERSION-OF-PRINT-BEXPO)
(C$::PRINT-BEXPO-OF-BEXPO-FIX-EXPO
 (3 1 (:REWRITE C$::BEXPO-FIX-WHEN-BEXPOP))
 (2 2 (:TYPE-PRESCRIPTION C$::BEXPOP))
 )
(C$::PRINT-BEXPO-BEXPO-EQUIV-CONGRUENCE-ON-EXPO)
(C$::PRINT-BEXPO-OF-PRISTATE-FIX-PSTATE
 (3 1 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 (2 2 (:TYPE-PRESCRIPTION C$::PRISTATEP))
 )
(C$::PRINT-BEXPO-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-DEC-FRAC-CONST)
(C$::PRISTATEP-OF-PRINT-DEC-FRAC-CONST)
(C$::PRISTATE->VERSION-OF-PRINT-DEC-FRAC-CONST)
(C$::PRINT-DEC-FRAC-CONST-OF-DEC-FRAC-CONST-FIX-DFCONST
 (6 2 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 (4 4 (:TYPE-PRESCRIPTION C$::PRISTATEP))
 (3 1 (:REWRITE C$::DEC-FRAC-CONST-FIX-WHEN-DEC-FRAC-CONSTP))
 (2 2 (:TYPE-PRESCRIPTION C$::DEC-FRAC-CONSTP))
 )
(C$::PRINT-DEC-FRAC-CONST-DEC-FRAC-CONST-EQUIV-CONGRUENCE-ON-DFCONST)
(C$::PRINT-DEC-FRAC-CONST-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-DEC-FRAC-CONST-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-HEX-FRAC-CONST)
(C$::PRISTATEP-OF-PRINT-HEX-FRAC-CONST)
(C$::PRISTATE->VERSION-OF-PRINT-HEX-FRAC-CONST)
(C$::PRINT-HEX-FRAC-CONST-OF-HEX-FRAC-CONST-FIX-HFCONST
 (6 2 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 (4 4 (:TYPE-PRESCRIPTION C$::PRISTATEP))
 (3 1 (:REWRITE C$::HEX-FRAC-CONST-FIX-WHEN-HEX-FRAC-CONSTP))
 (2 2 (:TYPE-PRESCRIPTION C$::HEX-FRAC-CONSTP))
 )
(C$::PRINT-HEX-FRAC-CONST-HEX-FRAC-CONST-EQUIV-CONGRUENCE-ON-HFCONST)
(C$::PRINT-HEX-FRAC-CONST-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-HEX-FRAC-CONST-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-DEC-CORE-FCONST)
(C$::PRISTATEP-OF-PRINT-DEC-CORE-FCONST)
(C$::PRISTATE->VERSION-OF-PRINT-DEC-CORE-FCONST)
(C$::PRINT-DEC-CORE-FCONST-OF-DEC-CORE-FCONST-FIX-FCONST
 (6 2 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 (4 4 (:TYPE-PRESCRIPTION C$::PRISTATEP))
 (3 1 (:REWRITE C$::DEC-CORE-FCONST-FIX-WHEN-DEC-CORE-FCONSTP))
 (2 2 (:TYPE-PRESCRIPTION C$::DEC-CORE-FCONSTP))
 )
(C$::PRINT-DEC-CORE-FCONST-DEC-CORE-FCONST-EQUIV-CONGRUENCE-ON-FCONST)
(C$::PRINT-DEC-CORE-FCONST-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-DEC-CORE-FCONST-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-HEX-CORE-FCONST)
(C$::PRISTATEP-OF-PRINT-HEX-CORE-FCONST)
(C$::PRISTATE->VERSION-OF-PRINT-HEX-CORE-FCONST)
(C$::PRINT-HEX-CORE-FCONST-OF-HEX-CORE-FCONST-FIX-FCONST
 (6 2 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 (4 4 (:TYPE-PRESCRIPTION C$::PRISTATEP))
 (3 1 (:REWRITE C$::HEX-CORE-FCONST-FIX-WHEN-HEX-CORE-FCONSTP))
 (2 2 (:TYPE-PRESCRIPTION C$::HEX-CORE-FCONSTP))
 )
(C$::PRINT-HEX-CORE-FCONST-HEX-CORE-FCONST-EQUIV-CONGRUENCE-ON-FCONST)
(C$::PRINT-HEX-CORE-FCONST-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-HEX-CORE-FCONST-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-FCONST)
(C$::PRISTATEP-OF-PRINT-FCONST)
(C$::PRISTATE->VERSION-OF-PRINT-FCONST)
(C$::PRINT-FCONST-OF-FCONST-FIX-FCONST
 (3 1 (:REWRITE C$::FCONST-FIX-WHEN-FCONSTP))
 (2 2 (:TYPE-PRESCRIPTION C$::FCONSTP))
 )
(C$::PRINT-FCONST-FCONST-EQUIV-CONGRUENCE-ON-FCONST)
(C$::PRINT-FCONST-OF-PRISTATE-FIX-PSTATE
 (3 1 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 (2 2 (:TYPE-PRESCRIPTION C$::PRISTATEP))
 )
(C$::PRINT-FCONST-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-SIMPLE-ESCAPE)
(C$::PRISTATEP-OF-PRINT-SIMPLE-ESCAPE)
(C$::PRISTATE->VERSION-OF-PRINT-SIMPLE-ESCAPE)
(C$::PRINT-SIMPLE-ESCAPE-OF-SIMPLE-ESCAPE-FIX-ESC)
(C$::PRINT-SIMPLE-ESCAPE-SIMPLE-ESCAPE-EQUIV-CONGRUENCE-ON-ESC)
(C$::PRINT-SIMPLE-ESCAPE-OF-PRISTATE-FIX-PSTATE
 (3 1 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 (2 2 (:TYPE-PRESCRIPTION C$::PRISTATEP))
 )
(C$::PRINT-SIMPLE-ESCAPE-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-OCT-ESCAPE)
(C$::PRISTATEP-OF-PRINT-OCT-ESCAPE)
(C$::PRISTATE->VERSION-OF-PRINT-OCT-ESCAPE)
(C$::PRINT-OCT-ESCAPE-OF-OCT-ESCAPE-FIX-ESC
 (3 1 (:REWRITE C$::OCT-ESCAPE-FIX-WHEN-OCT-ESCAPEP))
 (2 2 (:TYPE-PRESCRIPTION C$::OCT-ESCAPEP))
 )
(C$::PRINT-OCT-ESCAPE-OCT-ESCAPE-EQUIV-CONGRUENCE-ON-ESC)
(C$::PRINT-OCT-ESCAPE-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-OCT-ESCAPE-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-HEX-QUAD)
(C$::PRISTATEP-OF-PRINT-HEX-QUAD)
(C$::PRISTATE->VERSION-OF-PRINT-HEX-QUAD)
(C$::PRINT-HEX-QUAD-OF-HEX-QUAD-FIX-QUAD
 (3 1 (:REWRITE C$::HEX-QUAD-FIX-WHEN-HEX-QUAD-P))
 (2 2 (:TYPE-PRESCRIPTION C$::HEX-QUAD-P))
 )
(C$::PRINT-HEX-QUAD-HEX-QUAD-EQUIV-CONGRUENCE-ON-QUAD)
(C$::PRINT-HEX-QUAD-OF-PRISTATE-FIX-PSTATE
 (3 1 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 (2 2 (:TYPE-PRESCRIPTION C$::PRISTATEP))
 )
(C$::PRINT-HEX-QUAD-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-UNIV-CHAR-NAME)
(C$::PRISTATEP-OF-PRINT-UNIV-CHAR-NAME)
(C$::PRISTATE->VERSION-OF-PRINT-UNIV-CHAR-NAME)
(C$::PRINT-UNIV-CHAR-NAME-OF-UNIV-CHAR-NAME-FIX-UCNAME
 (3 1 (:REWRITE C$::UNIV-CHAR-NAME-FIX-WHEN-UNIV-CHAR-NAME-P))
 (2 2 (:TYPE-PRESCRIPTION C$::UNIV-CHAR-NAME-P))
 )
(C$::PRINT-UNIV-CHAR-NAME-UNIV-CHAR-NAME-EQUIV-CONGRUENCE-ON-UCNAME)
(C$::PRINT-UNIV-CHAR-NAME-OF-PRISTATE-FIX-PSTATE
 (3 1 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 (2 2 (:TYPE-PRESCRIPTION C$::PRISTATEP))
 )
(C$::PRINT-UNIV-CHAR-NAME-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-ESCAPE)
(C$::PRISTATEP-OF-PRINT-ESCAPE)
(C$::PRISTATE->VERSION-OF-PRINT-ESCAPE)
(C$::PRINT-ESCAPE-OF-ESCAPE-FIX-ESC
 (3 1 (:REWRITE C$::ESCAPE-FIX-WHEN-ESCAPEP))
 (2 2 (:TYPE-PRESCRIPTION C$::ESCAPEP))
 )
(C$::PRINT-ESCAPE-ESCAPE-EQUIV-CONGRUENCE-ON-ESC)
(C$::PRINT-ESCAPE-OF-PRISTATE-FIX-PSTATE
 (3 1 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 (2 2 (:TYPE-PRESCRIPTION C$::PRISTATEP))
 )
(C$::PRINT-ESCAPE-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-C-CHAR
 (18 18 (:REWRITE C$::GRAMMAR-CHARACTER-P-WHEN-MEMBER-EQUAL-OF-GRAMMAR-CHARACTER-LISTP))
 (8 8 (:REWRITE C$::C-CHAR-P-WHEN-MEMBER-EQUAL-OF-C-CHAR-LISTP))
 )
(C$::PRISTATEP-OF-PRINT-C-CHAR)
(C$::PRISTATE->VERSION-OF-PRINT-C-CHAR
 (2 2 (:REWRITE C$::GRAMMAR-CHARACTER-P-WHEN-MEMBER-EQUAL-OF-GRAMMAR-CHARACTER-LISTP))
 )
(C$::PRINT-C-CHAR-OF-C-CHAR-FIX-CCHAR
 (30 10 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 (20 20 (:TYPE-PRESCRIPTION C$::PRISTATEP))
 (5 1 (:REWRITE C$::C-CHAR-FIX-WHEN-C-CHAR-P))
 (4 4 (:REWRITE C$::GRAMMAR-CHARACTER-P-WHEN-MEMBER-EQUAL-OF-GRAMMAR-CHARACTER-LISTP))
 (2 2 (:TYPE-PRESCRIPTION C$::C-CHAR-P))
 (2 2 (:REWRITE C$::C-CHAR-P-WHEN-MEMBER-EQUAL-OF-C-CHAR-LISTP))
 )
(C$::PRINT-C-CHAR-C-CHAR-EQUIV-CONGRUENCE-ON-CCHAR)
(C$::PRINT-C-CHAR-OF-PRISTATE-FIX-PSTATE
 (4 4 (:REWRITE C$::GRAMMAR-CHARACTER-P-WHEN-MEMBER-EQUAL-OF-GRAMMAR-CHARACTER-LISTP))
 )
(C$::PRINT-C-CHAR-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-C-CHAR-LIST
 (1 1 (:REWRITE SUBSETP-TRANS2))
 (1 1 (:REWRITE SUBSETP-TRANS))
 (1 1 (:REWRITE C$::C-CHAR-LISTP-WHEN-NOT-CONSP))
 )
(C$::PRISTATEP-OF-PRINT-C-CHAR-LIST
 (3 1 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 )
(C$::PRISTATE->VERSION-OF-PRINT-C-CHAR-LIST)
(C$::PRINT-C-CHAR-LIST-OF-C-CHAR-LIST-FIX-CCHARS
 (183 22 (:REWRITE C$::C-CHAR-LIST-FIX-WHEN-C-CHAR-LISTP))
 (62 62 (:REWRITE C$::C-CHAR-LISTP-WHEN-SUBSETP-EQUAL))
 (54 9 (:REWRITE C$::C-CHAR-LISTP-OF-CDR-WHEN-C-CHAR-LISTP))
 (31 31 (:REWRITE C$::C-CHAR-LISTP-WHEN-NOT-CONSP))
 )
(C$::PRINT-C-CHAR-LIST-C-CHAR-LIST-EQUIV-CONGRUENCE-ON-CCHARS)
(C$::PRINT-C-CHAR-LIST-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-C-CHAR-LIST-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-CPREFIX)
(C$::PRISTATEP-OF-PRINT-CPREFIX)
(C$::PRISTATE->VERSION-OF-PRINT-CPREFIX)
(C$::PRINT-CPREFIX-OF-CPREFIX-FIX-CPREFIX)
(C$::PRINT-CPREFIX-CPREFIX-EQUIV-CONGRUENCE-ON-CPREFIX)
(C$::PRINT-CPREFIX-OF-PRISTATE-FIX-PSTATE
 (3 1 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 (2 2 (:TYPE-PRESCRIPTION C$::PRISTATEP))
 )
(C$::PRINT-CPREFIX-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-CPREFIX-OPTION)
(C$::PRISTATEP-OF-PRINT-CPREFIX-OPTION)
(C$::PRISTATE->VERSION-OF-PRINT-CPREFIX-OPTION)
(C$::PRINT-CPREFIX-OPTION-OF-CPREFIX-OPTION-FIX-CPREFIX?
 (8 1 (:REWRITE C$::CPREFIX-OPTION-FIX-WHEN-CPREFIX-OPTIONP))
 (6 2 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 (5 1 (:REWRITE C$::CPREFIX-OPTIONP-WHEN-CPREFIXP))
 (4 4 (:TYPE-PRESCRIPTION C$::PRISTATEP))
 (3 3 (:TYPE-PRESCRIPTION C$::CPREFIX-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION C$::CPREFIXP))
 (2 1 (:REWRITE C$::CPREFIXP-WHEN-CPREFIX-OPTIONP))
 (1 1 (:REWRITE C$::CPREFIX-OPTION-FIX-WHEN-NONE))
 )
(C$::PRINT-CPREFIX-OPTION-CPREFIX-OPTION-EQUIV-CONGRUENCE-ON-CPREFIX?)
(C$::PRINT-CPREFIX-OPTION-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-CPREFIX-OPTION-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-CCONST)
(C$::PRISTATEP-OF-PRINT-CCONST)
(C$::PRISTATE->VERSION-OF-PRINT-CCONST)
(C$::PRINT-CCONST-OF-CCONST-FIX-CCONST
 (3 1 (:REWRITE C$::CCONST-FIX-WHEN-CCONSTP))
 (2 2 (:TYPE-PRESCRIPTION C$::CCONSTP))
 )
(C$::PRINT-CCONST-CCONST-EQUIV-CONGRUENCE-ON-CCONST)
(C$::PRINT-CCONST-OF-PRISTATE-FIX-PSTATE
 (3 1 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 (2 2 (:TYPE-PRESCRIPTION C$::PRISTATEP))
 )
(C$::PRINT-CCONST-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-CONST)
(C$::PRISTATEP-OF-PRINT-CONST)
(C$::PRISTATE->VERSION-OF-PRINT-CONST)
(C$::PRINT-CONST-OF-CONST-FIX-CONST
 (8 1 (:REWRITE C$::CONST-FIX-WHEN-CONSTP))
 (5 1 (:REWRITE C$::CONSTP-WHEN-CONST-OPTIONP))
 (3 3 (:TYPE-PRESCRIPTION C$::CONSTP))
 (2 2 (:TYPE-PRESCRIPTION C$::CONST-OPTIONP))
 (2 1 (:REWRITE C$::CONST-OPTIONP-WHEN-CONSTP))
 )
(C$::PRINT-CONST-CONST-EQUIV-CONGRUENCE-ON-CONST)
(C$::PRINT-CONST-OF-PRISTATE-FIX-PSTATE
 (3 1 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 (2 2 (:TYPE-PRESCRIPTION C$::PRISTATEP))
 )
(C$::PRINT-CONST-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-S-CHAR
 (18 18 (:REWRITE C$::GRAMMAR-CHARACTER-P-WHEN-MEMBER-EQUAL-OF-GRAMMAR-CHARACTER-LISTP))
 (8 8 (:REWRITE C$::S-CHAR-P-WHEN-MEMBER-EQUAL-OF-S-CHAR-LISTP))
 )
(C$::PRISTATEP-OF-PRINT-S-CHAR)
(C$::PRISTATE->VERSION-OF-PRINT-S-CHAR
 (2 2 (:REWRITE C$::GRAMMAR-CHARACTER-P-WHEN-MEMBER-EQUAL-OF-GRAMMAR-CHARACTER-LISTP))
 )
(C$::PRINT-S-CHAR-OF-S-CHAR-FIX-SCHAR
 (30 10 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 (20 20 (:TYPE-PRESCRIPTION C$::PRISTATEP))
 (5 1 (:REWRITE C$::S-CHAR-FIX-WHEN-S-CHAR-P))
 (4 4 (:REWRITE C$::GRAMMAR-CHARACTER-P-WHEN-MEMBER-EQUAL-OF-GRAMMAR-CHARACTER-LISTP))
 (2 2 (:TYPE-PRESCRIPTION C$::S-CHAR-P))
 (2 2 (:REWRITE C$::S-CHAR-P-WHEN-MEMBER-EQUAL-OF-S-CHAR-LISTP))
 )
(C$::PRINT-S-CHAR-S-CHAR-EQUIV-CONGRUENCE-ON-SCHAR)
(C$::PRINT-S-CHAR-OF-PRISTATE-FIX-PSTATE
 (4 4 (:REWRITE C$::GRAMMAR-CHARACTER-P-WHEN-MEMBER-EQUAL-OF-GRAMMAR-CHARACTER-LISTP))
 )
(C$::PRINT-S-CHAR-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-S-CHAR-LIST
 (1 1 (:REWRITE SUBSETP-TRANS2))
 (1 1 (:REWRITE SUBSETP-TRANS))
 (1 1 (:REWRITE C$::S-CHAR-LISTP-WHEN-NOT-CONSP))
 )
(C$::PRISTATEP-OF-PRINT-S-CHAR-LIST
 (3 1 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 )
(C$::PRISTATE->VERSION-OF-PRINT-S-CHAR-LIST)
(C$::PRINT-S-CHAR-LIST-OF-S-CHAR-LIST-FIX-SCHARS
 (183 22 (:REWRITE C$::S-CHAR-LIST-FIX-WHEN-S-CHAR-LISTP))
 (62 62 (:REWRITE C$::S-CHAR-LISTP-WHEN-SUBSETP-EQUAL))
 (54 9 (:REWRITE C$::S-CHAR-LISTP-OF-CDR-WHEN-S-CHAR-LISTP))
 (31 31 (:REWRITE C$::S-CHAR-LISTP-WHEN-NOT-CONSP))
 )
(C$::PRINT-S-CHAR-LIST-S-CHAR-LIST-EQUIV-CONGRUENCE-ON-SCHARS)
(C$::PRINT-S-CHAR-LIST-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-S-CHAR-LIST-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-EPREFIX)
(C$::PRISTATEP-OF-PRINT-EPREFIX)
(C$::PRISTATE->VERSION-OF-PRINT-EPREFIX)
(C$::PRINT-EPREFIX-OF-EPREFIX-FIX-EPREFIX)
(C$::PRINT-EPREFIX-EPREFIX-EQUIV-CONGRUENCE-ON-EPREFIX)
(C$::PRINT-EPREFIX-OF-PRISTATE-FIX-PSTATE
 (3 1 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 (2 2 (:TYPE-PRESCRIPTION C$::PRISTATEP))
 )
(C$::PRINT-EPREFIX-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-EPREFIX-OPTION)
(C$::PRISTATEP-OF-PRINT-EPREFIX-OPTION)
(C$::PRISTATE->VERSION-OF-PRINT-EPREFIX-OPTION)
(C$::PRINT-EPREFIX-OPTION-OF-EPREFIX-OPTION-FIX-EPREFIX?
 (10 1 (:REWRITE C$::EPREFIX-OPTION-FIX-WHEN-EPREFIX-OPTIONP))
 (6 2 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 (5 1 (:REWRITE C$::EPREFIX-OPTIONP-WHEN-EPREFIXP))
 (4 4 (:TYPE-PRESCRIPTION C$::PRISTATEP))
 (3 3 (:TYPE-PRESCRIPTION C$::EPREFIX-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION C$::EPREFIXP))
 (2 2 (:REWRITE C$::EPREFIX-OPTIONP-WHEN-MEMBER-EQUAL-OF-EPREFIX-OPTION-LISTP))
 (2 1 (:REWRITE C$::EPREFIXP-WHEN-EPREFIX-OPTIONP))
 (1 1 (:REWRITE C$::EPREFIX-OPTION-FIX-WHEN-NONE))
 )
(C$::PRINT-EPREFIX-OPTION-EPREFIX-OPTION-EQUIV-CONGRUENCE-ON-EPREFIX?)
(C$::PRINT-EPREFIX-OPTION-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-EPREFIX-OPTION-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-STRINGLIT)
(C$::PRISTATEP-OF-PRINT-STRINGLIT)
(C$::PRISTATE->VERSION-OF-PRINT-STRINGLIT)
(C$::PRINT-STRINGLIT-OF-STRINGLIT-FIX-STRINGLIT)
(C$::PRINT-STRINGLIT-STRINGLIT-EQUIV-CONGRUENCE-ON-STRINGLIT)
(C$::PRINT-STRINGLIT-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-STRINGLIT-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-STRINGLIT-LIST
 (1 1 (:REWRITE SUBSETP-TRANS2))
 (1 1 (:REWRITE SUBSETP-TRANS))
 (1 1 (:REWRITE C$::STRINGLIT-LISTP-WHEN-NOT-CONSP))
 )
(C$::PRISTATEP-OF-PRINT-STRINGLIT-LIST
 (3 1 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 )
(C$::PRISTATE->VERSION-OF-PRINT-STRINGLIT-LIST)
(C$::PRINT-STRINGLIT-LIST-OF-STRINGLIT-LIST-FIX-STRINGS
 (359 43 (:REWRITE C$::STRINGLIT-LIST-FIX-WHEN-STRINGLIT-LISTP))
 (120 120 (:REWRITE C$::STRINGLIT-LISTP-WHEN-SUBSETP-EQUAL))
 (102 17 (:REWRITE C$::STRINGLIT-LISTP-OF-CDR-WHEN-STRINGLIT-LISTP))
 (60 60 (:REWRITE C$::STRINGLIT-LISTP-WHEN-NOT-CONSP))
 (6 2 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 (4 4 (:TYPE-PRESCRIPTION C$::PRISTATEP))
 )
(C$::PRINT-STRINGLIT-LIST-STRINGLIT-LIST-EQUIV-CONGRUENCE-ON-STRINGS)
(C$::PRINT-STRINGLIT-LIST-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-STRINGLIT-LIST-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-H-CHAR)
(C$::PRISTATEP-OF-PRINT-H-CHAR)
(C$::PRISTATE->VERSION-OF-PRINT-H-CHAR
 (2 2 (:REWRITE C$::GRAMMAR-CHARACTER-P-WHEN-MEMBER-EQUAL-OF-GRAMMAR-CHARACTER-LISTP))
 )
(C$::PRINT-H-CHAR-OF-H-CHAR-FIX-HCHAR)
(C$::PRINT-H-CHAR-H-CHAR-EQUIV-CONGRUENCE-ON-HCHAR)
(C$::PRINT-H-CHAR-OF-PRISTATE-FIX-PSTATE
 (4 4 (:REWRITE C$::GRAMMAR-CHARACTER-P-WHEN-MEMBER-EQUAL-OF-GRAMMAR-CHARACTER-LISTP))
 )
(C$::PRINT-H-CHAR-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-H-CHAR-LIST
 (1 1 (:REWRITE SUBSETP-TRANS2))
 (1 1 (:REWRITE SUBSETP-TRANS))
 (1 1 (:REWRITE C$::H-CHAR-LISTP-WHEN-NOT-CONSP))
 )
(C$::PRISTATEP-OF-PRINT-H-CHAR-LIST
 (3 1 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 )
(C$::PRISTATE->VERSION-OF-PRINT-H-CHAR-LIST)
(C$::PRINT-H-CHAR-LIST-OF-H-CHAR-LIST-FIX-HCHARS
 (183 22 (:REWRITE C$::H-CHAR-LIST-FIX-WHEN-H-CHAR-LISTP))
 (62 62 (:REWRITE C$::H-CHAR-LISTP-WHEN-SUBSETP-EQUAL))
 (54 9 (:REWRITE C$::H-CHAR-LISTP-OF-CDR-WHEN-H-CHAR-LISTP))
 (31 31 (:REWRITE C$::H-CHAR-LISTP-WHEN-NOT-CONSP))
 )
(C$::PRINT-H-CHAR-LIST-H-CHAR-LIST-EQUIV-CONGRUENCE-ON-HCHARS)
(C$::PRINT-H-CHAR-LIST-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-H-CHAR-LIST-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-Q-CHAR)
(C$::PRISTATEP-OF-PRINT-Q-CHAR)
(C$::PRISTATE->VERSION-OF-PRINT-Q-CHAR
 (2 2 (:REWRITE C$::GRAMMAR-CHARACTER-P-WHEN-MEMBER-EQUAL-OF-GRAMMAR-CHARACTER-LISTP))
 )
(C$::PRINT-Q-CHAR-OF-Q-CHAR-FIX-QCHAR)
(C$::PRINT-Q-CHAR-Q-CHAR-EQUIV-CONGRUENCE-ON-QCHAR)
(C$::PRINT-Q-CHAR-OF-PRISTATE-FIX-PSTATE
 (4 4 (:REWRITE C$::GRAMMAR-CHARACTER-P-WHEN-MEMBER-EQUAL-OF-GRAMMAR-CHARACTER-LISTP))
 )
(C$::PRINT-Q-CHAR-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-Q-CHAR-LIST
 (1 1 (:REWRITE SUBSETP-TRANS2))
 (1 1 (:REWRITE SUBSETP-TRANS))
 (1 1 (:REWRITE C$::Q-CHAR-LISTP-WHEN-NOT-CONSP))
 )
(C$::PRISTATEP-OF-PRINT-Q-CHAR-LIST
 (3 1 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 )
(C$::PRISTATE->VERSION-OF-PRINT-Q-CHAR-LIST)
(C$::PRINT-Q-CHAR-LIST-OF-Q-CHAR-LIST-FIX-QCHARS
 (183 22 (:REWRITE C$::Q-CHAR-LIST-FIX-WHEN-Q-CHAR-LISTP))
 (62 62 (:REWRITE C$::Q-CHAR-LISTP-WHEN-SUBSETP-EQUAL))
 (54 9 (:REWRITE C$::Q-CHAR-LISTP-OF-CDR-WHEN-Q-CHAR-LISTP))
 (31 31 (:REWRITE C$::Q-CHAR-LISTP-WHEN-NOT-CONSP))
 )
(C$::PRINT-Q-CHAR-LIST-Q-CHAR-LIST-EQUIV-CONGRUENCE-ON-QCHARS)
(C$::PRINT-Q-CHAR-LIST-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-Q-CHAR-LIST-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-HEADER-NAME
 (8 8 (:REWRITE C$::HEADER-NAMEP-WHEN-MEMBER-EQUAL-OF-HEADER-NAME-LISTP))
 )
(C$::PRISTATEP-OF-PRINT-HEADER-NAME)
(C$::PRISTATE->VERSION-OF-PRINT-HEADER-NAME)
(C$::PRINT-HEADER-NAME-OF-HEADER-NAME-FIX-HNAME
 (5 1 (:REWRITE C$::HEADER-NAME-FIX-WHEN-HEADER-NAMEP))
 (2 2 (:TYPE-PRESCRIPTION C$::HEADER-NAMEP))
 (2 2 (:REWRITE C$::HEADER-NAMEP-WHEN-MEMBER-EQUAL-OF-HEADER-NAME-LISTP))
 )
(C$::PRINT-HEADER-NAME-HEADER-NAME-EQUIV-CONGRUENCE-ON-HNAME)
(C$::PRINT-HEADER-NAME-OF-PRISTATE-FIX-PSTATE
 (3 1 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 (2 2 (:TYPE-PRESCRIPTION C$::PRISTATEP))
 )
(C$::PRINT-HEADER-NAME-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-UNOP)
(C$::PRISTATEP-OF-PRINT-UNOP)
(C$::PRISTATE->VERSION-OF-PRINT-UNOP)
(C$::PRINT-UNOP-OF-UNOP-FIX-OP
 (3 1 (:REWRITE C$::UNOP-FIX-WHEN-UNOPP))
 (2 2 (:TYPE-PRESCRIPTION C$::UNOPP))
 (2 1 (:REWRITE C$::UNOP-FIX-WHEN-SIZEOF))
 (2 1 (:REWRITE C$::UNOP-FIX-WHEN-REAL))
 (2 1 (:REWRITE C$::UNOP-FIX-WHEN-PREINC))
 (2 1 (:REWRITE C$::UNOP-FIX-WHEN-PREDEC))
 (2 1 (:REWRITE C$::UNOP-FIX-WHEN-POSTINC))
 (2 1 (:REWRITE C$::UNOP-FIX-WHEN-POSTDEC))
 (2 1 (:REWRITE C$::UNOP-FIX-WHEN-PLUS))
 (2 1 (:REWRITE C$::UNOP-FIX-WHEN-MINUS))
 (2 1 (:REWRITE C$::UNOP-FIX-WHEN-LOGNOT))
 (2 1 (:REWRITE C$::UNOP-FIX-WHEN-INDIR))
 (2 1 (:REWRITE C$::UNOP-FIX-WHEN-IMAG))
 (2 1 (:REWRITE C$::UNOP-FIX-WHEN-BITNOT))
 (2 1 (:REWRITE C$::UNOP-FIX-WHEN-ADDRESS))
 )
(C$::PRINT-UNOP-UNOP-EQUIV-CONGRUENCE-ON-OP)
(C$::PRINT-UNOP-OF-PRISTATE-FIX-PSTATE
 (3 1 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 (2 2 (:TYPE-PRESCRIPTION C$::PRISTATEP))
 )
(C$::PRINT-UNOP-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-BINOP)
(C$::PRISTATEP-OF-PRINT-BINOP)
(C$::PRISTATE->VERSION-OF-PRINT-BINOP)
(C$::PRINT-BINOP-OF-BINOP-FIX-OP)
(C$::PRINT-BINOP-BINOP-EQUIV-CONGRUENCE-ON-OP)
(C$::PRINT-BINOP-OF-PRISTATE-FIX-PSTATE
 (3 1 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 (2 2 (:TYPE-PRESCRIPTION C$::PRISTATEP))
 )
(C$::PRINT-BINOP-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-INC/DEC-OP)
(C$::PRISTATEP-OF-PRINT-INC/DEC-OP)
(C$::PRISTATE->VERSION-OF-PRINT-INC/DEC-OP)
(C$::PRINT-INC/DEC-OP-OF-INC/DEC-OP-FIX-OP)
(C$::PRINT-INC/DEC-OP-INC/DEC-OP-EQUIV-CONGRUENCE-ON-OP)
(C$::PRINT-INC/DEC-OP-OF-PRISTATE-FIX-PSTATE
 (3 1 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 (2 2 (:TYPE-PRESCRIPTION C$::PRISTATEP))
 )
(C$::PRINT-INC/DEC-OP-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-INC/DEC-OP-LIST
 (1 1 (:REWRITE SUBSETP-TRANS2))
 (1 1 (:REWRITE SUBSETP-TRANS))
 (1 1 (:REWRITE C$::INC/DEC-OP-LISTP-WHEN-NOT-CONSP))
 )
(C$::PRISTATEP-OF-PRINT-INC/DEC-OP-LIST
 (3 1 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 )
(C$::PRISTATE->VERSION-OF-PRINT-INC/DEC-OP-LIST)
(C$::PRINT-INC/DEC-OP-LIST-OF-INC/DEC-OP-LIST-FIX-OPS
 (359 43 (:REWRITE C$::INC/DEC-OP-LIST-FIX-WHEN-INC/DEC-OP-LISTP))
 (120 120 (:REWRITE C$::INC/DEC-OP-LISTP-WHEN-SUBSETP-EQUAL))
 (102 17 (:REWRITE C$::INC/DEC-OP-LISTP-OF-CDR-WHEN-INC/DEC-OP-LISTP))
 (60 60 (:REWRITE C$::INC/DEC-OP-LISTP-WHEN-NOT-CONSP))
 (6 2 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 (4 4 (:TYPE-PRESCRIPTION C$::PRISTATEP))
 )
(C$::PRINT-INC/DEC-OP-LIST-INC/DEC-OP-LIST-EQUIV-CONGRUENCE-ON-OPS)
(C$::PRINT-INC/DEC-OP-LIST-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-INC/DEC-OP-LIST-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-STOR-SPEC)
(C$::PRISTATEP-OF-PRINT-STOR-SPEC)
(C$::PRISTATE->VERSION-OF-PRINT-STOR-SPEC)
(C$::PRINT-STOR-SPEC-OF-STOR-SPEC-FIX-STOR-SPEC
 (5 1 (:REWRITE C$::STOR-SPEC-FIX-WHEN-STOR-SPECP))
 (2 2 (:TYPE-PRESCRIPTION C$::STOR-SPECP))
 (2 2 (:REWRITE C$::STOR-SPECP-WHEN-MEMBER-EQUAL-OF-STOR-SPEC-LISTP))
 (2 1 (:REWRITE C$::STOR-SPEC-FIX-WHEN-TYPEDEF))
 (2 1 (:REWRITE C$::STOR-SPEC-FIX-WHEN-STATIC))
 (2 1 (:REWRITE C$::STOR-SPEC-FIX-WHEN-REGISTER))
 (2 1 (:REWRITE C$::STOR-SPEC-FIX-WHEN-EXTERN))
 (2 1 (:REWRITE C$::STOR-SPEC-FIX-WHEN-AUTO))
 )
(C$::PRINT-STOR-SPEC-STOR-SPEC-EQUIV-CONGRUENCE-ON-STOR-SPEC)
(C$::PRINT-STOR-SPEC-OF-PRISTATE-FIX-PSTATE
 (3 1 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 (2 2 (:TYPE-PRESCRIPTION C$::PRISTATEP))
 )
(C$::PRINT-STOR-SPEC-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-TYPE-QUAL)
(C$::PRISTATEP-OF-PRINT-TYPE-QUAL)
(C$::PRISTATE->VERSION-OF-PRINT-TYPE-QUAL)
(C$::PRINT-TYPE-QUAL-OF-TYPE-QUAL-FIX-TYQUAL
 (3 1 (:REWRITE C$::TYPE-QUAL-FIX-WHEN-TYPE-QUALP))
 (2 2 (:TYPE-PRESCRIPTION C$::TYPE-QUALP))
 (2 1 (:REWRITE C$::TYPE-QUAL-FIX-WHEN-SEG-GS))
 (2 1 (:REWRITE C$::TYPE-QUAL-FIX-WHEN-SEG-FS))
 (2 1 (:REWRITE C$::TYPE-QUAL-FIX-WHEN-NULLABLE-RESULT))
 (2 1 (:REWRITE C$::TYPE-QUAL-FIX-WHEN-NULLABLE))
 (2 1 (:REWRITE C$::TYPE-QUAL-FIX-WHEN-NULL-UNSPECIFIED))
 (2 1 (:REWRITE C$::TYPE-QUAL-FIX-WHEN-NONNULL))
 (2 1 (:REWRITE C$::TYPE-QUAL-FIX-WHEN-CONST))
 (2 1 (:REWRITE C$::TYPE-QUAL-FIX-WHEN-ATOMIC))
 )
(C$::PRINT-TYPE-QUAL-TYPE-QUAL-EQUIV-CONGRUENCE-ON-TYQUAL)
(C$::PRINT-TYPE-QUAL-OF-PRISTATE-FIX-PSTATE
 (3 1 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 (2 2 (:TYPE-PRESCRIPTION C$::PRISTATEP))
 )
(C$::PRINT-TYPE-QUAL-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-FUN-SPEC)
(C$::PRISTATEP-OF-PRINT-FUN-SPEC)
(C$::PRISTATE->VERSION-OF-PRINT-FUN-SPEC)
(C$::PRINT-FUN-SPEC-OF-FUN-SPEC-FIX-FUNSPEC
 (3 1 (:REWRITE C$::FUN-SPEC-FIX-WHEN-FUN-SPECP))
 (2 2 (:TYPE-PRESCRIPTION C$::FUN-SPECP))
 (2 1 (:REWRITE C$::FUN-SPEC-FIX-WHEN-NORETURN))
 )
(C$::PRINT-FUN-SPEC-FUN-SPEC-EQUIV-CONGRUENCE-ON-FUNSPEC)
(C$::PRINT-FUN-SPEC-OF-PRISTATE-FIX-PSTATE
 (3 1 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 (2 2 (:TYPE-PRESCRIPTION C$::PRISTATEP))
 )
(C$::PRINT-FUN-SPEC-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-ASM-NAME-SPEC)
(C$::PRISTATEP-OF-PRINT-ASM-NAME-SPEC)
(C$::PRISTATE->VERSION-OF-PRINT-ASM-NAME-SPEC)
(C$::PRINT-ASM-NAME-SPEC-OF-ASM-NAME-SPEC-FIX-ASMSPEC
 (8 1 (:REWRITE C$::ASM-NAME-SPEC-FIX-WHEN-ASM-NAME-SPECP))
 (5 1 (:REWRITE C$::ASM-NAME-SPECP-WHEN-ASM-NAME-SPEC-OPTIONP))
 (3 3 (:TYPE-PRESCRIPTION C$::ASM-NAME-SPECP))
 (2 2 (:TYPE-PRESCRIPTION C$::ASM-NAME-SPEC-OPTIONP))
 (2 1 (:REWRITE C$::ASM-NAME-SPEC-OPTIONP-WHEN-ASM-NAME-SPECP))
 )
(C$::PRINT-ASM-NAME-SPEC-ASM-NAME-SPEC-EQUIV-CONGRUENCE-ON-ASMSPEC)
(C$::PRINT-ASM-NAME-SPEC-OF-PRISTATE-FIX-PSTATE
 (3 1 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 (2 2 (:TYPE-PRESCRIPTION C$::PRISTATEP))
 )
(C$::PRINT-ASM-NAME-SPEC-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-ASM-QUAL)
(C$::PRISTATEP-OF-PRINT-ASM-QUAL)
(C$::PRISTATE->VERSION-OF-PRINT-ASM-QUAL)
(C$::PRINT-ASM-QUAL-OF-ASM-QUAL-FIX-QUAL
 (5 1 (:REWRITE C$::ASM-QUAL-FIX-WHEN-ASM-QUALP))
 (2 2 (:TYPE-PRESCRIPTION C$::ASM-QUALP))
 (2 2 (:REWRITE C$::ASM-QUALP-WHEN-MEMBER-EQUAL-OF-ASM-QUAL-LISTP))
 (2 1 (:REWRITE C$::ASM-QUAL-FIX-WHEN-GOTO))
 )
(C$::PRINT-ASM-QUAL-ASM-QUAL-EQUIV-CONGRUENCE-ON-QUAL)
(C$::PRINT-ASM-QUAL-OF-PRISTATE-FIX-PSTATE
 (3 1 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 (2 2 (:TYPE-PRESCRIPTION C$::PRISTATEP))
 )
(C$::PRINT-ASM-QUAL-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-ASM-QUAL-LIST
 (1 1 (:REWRITE SUBSETP-TRANS2))
 (1 1 (:REWRITE SUBSETP-TRANS))
 (1 1 (:REWRITE C$::ASM-QUAL-LISTP-WHEN-NOT-CONSP))
 )
(C$::PRISTATEP-OF-PRINT-ASM-QUAL-LIST
 (3 1 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 )
(C$::PRISTATE->VERSION-OF-PRINT-ASM-QUAL-LIST)
(C$::PRINT-ASM-QUAL-LIST-OF-ASM-QUAL-LIST-FIX-QUALS
 (359 43 (:REWRITE C$::ASM-QUAL-LIST-FIX-WHEN-ASM-QUAL-LISTP))
 (120 120 (:REWRITE C$::ASM-QUAL-LISTP-WHEN-SUBSETP-EQUAL))
 (102 17 (:REWRITE C$::ASM-QUAL-LISTP-OF-CDR-WHEN-ASM-QUAL-LISTP))
 (60 60 (:REWRITE C$::ASM-QUAL-LISTP-WHEN-NOT-CONSP))
 (6 2 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 (4 4 (:TYPE-PRESCRIPTION C$::PRISTATEP))
 )
(C$::PRINT-ASM-QUAL-LIST-ASM-QUAL-LIST-EQUIV-CONGRUENCE-ON-QUALS)
(C$::PRINT-ASM-QUAL-LIST-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-ASM-QUAL-LIST-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-ASM-CLOBBER)
(C$::PRISTATEP-OF-PRINT-ASM-CLOBBER)
(C$::PRISTATE->VERSION-OF-PRINT-ASM-CLOBBER)
(C$::PRINT-ASM-CLOBBER-OF-ASM-CLOBBER-FIX-CLOBBER)
(C$::PRINT-ASM-CLOBBER-ASM-CLOBBER-EQUIV-CONGRUENCE-ON-CLOBBER)
(C$::PRINT-ASM-CLOBBER-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-ASM-CLOBBER-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-ASM-CLOBBER-LIST
 (1 1 (:REWRITE SUBSETP-TRANS2))
 (1 1 (:REWRITE SUBSETP-TRANS))
 (1 1 (:REWRITE C$::ASM-CLOBBER-LISTP-WHEN-NOT-CONSP))
 )
(C$::PRISTATEP-OF-PRINT-ASM-CLOBBER-LIST
 (3 1 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 )
(C$::PRISTATE->VERSION-OF-PRINT-ASM-CLOBBER-LIST)
(C$::PRINT-ASM-CLOBBER-LIST-OF-ASM-CLOBBER-LIST-FIX-CLOBBERS
 (359 43 (:REWRITE C$::ASM-CLOBBER-LIST-FIX-WHEN-ASM-CLOBBER-LISTP))
 (120 120 (:REWRITE C$::ASM-CLOBBER-LISTP-WHEN-SUBSETP-EQUAL))
 (102 17 (:REWRITE C$::ASM-CLOBBER-LISTP-OF-CDR-WHEN-ASM-CLOBBER-LISTP))
 (60 60 (:REWRITE C$::ASM-CLOBBER-LISTP-WHEN-NOT-CONSP))
 (6 2 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 (4 4 (:TYPE-PRESCRIPTION C$::PRISTATEP))
 )
(C$::PRINT-ASM-CLOBBER-LIST-ASM-CLOBBER-LIST-EQUIV-CONGRUENCE-ON-CLOBBERS)
(C$::PRINT-ASM-CLOBBER-LIST-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-ASM-CLOBBER-LIST-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-ATTRIB-NAME
 (15 4 (:REWRITE C$::GRAMMAR-CHARACTER-LISTP-WHEN-NOT-CONSP))
 (9 1 (:REWRITE CONSP-OF-STRING=>NATS))
 (5 1 (:REWRITE STR::CONSP-OF-EXPLODE))
 (2 2 (:REWRITE NAT-LISTP-WHEN-SUBSETP-EQUAL))
 (2 1 (:REWRITE STR::EXPLODE-WHEN-NOT-STRINGP))
 (1 1 (:TYPE-PRESCRIPTION STR::TRUE-LISTP-OF-EXPLODE))
 (1 1 (:REWRITE SUBSETP-TRANS2))
 (1 1 (:REWRITE SUBSETP-TRANS))
 )
(C$::PRISTATEP-OF-PRINT-ATTRIB-NAME)
(C$::PRISTATE->VERSION-OF-PRINT-ATTRIB-NAME
 (12 1 (:REWRITE C$::GRAMMAR-CHARACTER-LISTP-WHEN-NOT-CONSP))
 (9 1 (:REWRITE CONSP-OF-STRING=>NATS))
 (5 5 (:TYPE-PRESCRIPTION C$::ATTRIB-NAME-KEYWORD->KEYWORD$INLINE))
 (5 1 (:REWRITE STR::CONSP-OF-EXPLODE))
 (2 2 (:TYPE-PRESCRIPTION STRING=>NATS))
 (2 2 (:REWRITE C$::GRAMMAR-CHARACTER-LISTP-WHEN-SUBSETP-EQUAL))
 (2 1 (:REWRITE STR::EXPLODE-WHEN-NOT-STRINGP))
 (1 1 (:TYPE-PRESCRIPTION STR::TRUE-LISTP-OF-EXPLODE))
 )
(C$::PRINT-ATTRIB-NAME-OF-ATTRIB-NAME-FIX-ATTRNAME
 (24 2 (:REWRITE C$::GRAMMAR-CHARACTER-LISTP-WHEN-NOT-CONSP))
 (18 2 (:REWRITE CONSP-OF-STRING=>NATS))
 (10 2 (:REWRITE STR::CONSP-OF-EXPLODE))
 (6 2 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 (4 4 (:TYPE-PRESCRIPTION C$::PRISTATEP))
 (4 4 (:REWRITE C$::GRAMMAR-CHARACTER-LISTP-WHEN-SUBSETP-EQUAL))
 (4 2 (:REWRITE STR::EXPLODE-WHEN-NOT-STRINGP))
 (3 1 (:REWRITE C$::ATTRIB-NAME-FIX-WHEN-ATTRIB-NAMEP))
 (2 2 (:TYPE-PRESCRIPTION STR::TRUE-LISTP-OF-EXPLODE))
 (2 2 (:TYPE-PRESCRIPTION C$::ATTRIB-NAMEP))
 )
(C$::PRINT-ATTRIB-NAME-ATTRIB-NAME-EQUIV-CONGRUENCE-ON-ATTRNAME)
(C$::PRINT-ATTRIB-NAME-OF-PRISTATE-FIX-PSTATE
 (24 2 (:REWRITE C$::GRAMMAR-CHARACTER-LISTP-WHEN-NOT-CONSP))
 (18 2 (:REWRITE CONSP-OF-STRING=>NATS))
 (10 2 (:REWRITE STR::CONSP-OF-EXPLODE))
 (4 4 (:REWRITE C$::GRAMMAR-CHARACTER-LISTP-WHEN-SUBSETP-EQUAL))
 (4 2 (:REWRITE STR::EXPLODE-WHEN-NOT-STRINGP))
 (2 2 (:TYPE-PRESCRIPTION STR::TRUE-LISTP-OF-EXPLODE))
 )
(C$::PRINT-ATTRIB-NAME-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-LABEL-DECLARATION
 (4 4 (:REWRITE C$::IDENT-LISTP-WHEN-MEMBER-EQUAL-OF-IDENT-LIST-LISTP))
 (2 2 (:REWRITE C$::IDENT-LIST-AIDENTP-WHEN-ATOM))
 (1 1 (:REWRITE SUBSETP-TRANS2))
 (1 1 (:REWRITE SUBSETP-TRANS))
 (1 1 (:REWRITE C$::IDENT-LISTP-WHEN-NOT-CONSP))
 )
(C$::PRISTATEP-OF-PRINT-LABEL-DECLARATION)
(C$::PRISTATE->VERSION-OF-PRINT-LABEL-DECLARATION)
(C$::PRINT-LABEL-DECLARATION-OF-IDENT-LIST-FIX-LABELS)
(C$::PRINT-LABEL-DECLARATION-IDENT-LIST-EQUIV-CONGRUENCE-ON-LABELS)
(C$::PRINT-LABEL-DECLARATION-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-LABEL-DECLARATION-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-LABEL-DECLARATION-LIST
 (1 1 (:REWRITE SUBSETP-TRANS2))
 (1 1 (:REWRITE SUBSETP-TRANS))
 (1 1 (:REWRITE C$::IDENT-LIST-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE C$::IDENT-LIST-LIST-AIDENTP-WHEN-ATOM))
 )
(C$::PRISTATEP-OF-PRINT-LABEL-DECLARATION-LIST
 (6 2 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 )
(C$::PRISTATE->VERSION-OF-PRINT-LABEL-DECLARATION-LIST)
(C$::PRINT-LABEL-DECLARATION-LIST-OF-IDENT-LIST-LIST-FIX-LABELSS
 (434 56 (:REWRITE C$::IDENT-LIST-LIST-FIX-WHEN-IDENT-LIST-LISTP))
 (146 146 (:REWRITE C$::IDENT-LIST-LISTP-WHEN-SUBSETP-EQUAL))
 (102 17 (:REWRITE C$::IDENT-LIST-LISTP-OF-CDR-WHEN-IDENT-LIST-LISTP))
 (73 73 (:REWRITE C$::IDENT-LIST-LISTP-WHEN-NOT-CONSP))
 )
(C$::PRINT-LABEL-DECLARATION-LIST-IDENT-LIST-LIST-EQUIV-CONGRUENCE-ON-LABELSS)
(C$::PRINT-LABEL-DECLARATION-LIST-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-LABEL-DECLARATION-LIST-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-EXPR
 (24 4 (:REWRITE C$::EXPR-UNAMBP-WHEN-EXPR-OPTION-UNAMBP-AND-NOT-NIL))
 (18 2 (:REWRITE C$::EXPR-OPTION-UNAMBP-WHEN-EXPR-UNAMBP))
 (14 4 (:REWRITE C$::EXPR-UNAMBP-WHEN-STRING))
 (14 4 (:REWRITE C$::EXPR-UNAMBP-WHEN-LABEL-ADDR))
 (14 4 (:REWRITE C$::EXPR-UNAMBP-WHEN-IDENT))
 (14 4 (:REWRITE C$::EXPR-UNAMBP-WHEN-CONST))
 (6 6 (:TYPE-PRESCRIPTION C$::EXPR-OPTION-UNAMBP))
 (1 1 (:REWRITE C$::EXPR-LIST-UNAMBP-WHEN-ATOM))
 )
(C$::PRINT-EXPRS/DECLS/STMTS-FLAG
 (3004 2 (:TYPE-PRESCRIPTION RETURN-LAST))
 (32 8 (:DEFINITION EQ))
 (24 4 (:REWRITE C$::EXPR-UNAMBP-WHEN-EXPR-OPTION-UNAMBP-AND-NOT-NIL))
 (18 2 (:REWRITE C$::EXPR-OPTION-UNAMBP-WHEN-EXPR-UNAMBP))
 (14 4 (:REWRITE C$::EXPR-UNAMBP-WHEN-STRING))
 (14 4 (:REWRITE C$::EXPR-UNAMBP-WHEN-LABEL-ADDR))
 (14 4 (:REWRITE C$::EXPR-UNAMBP-WHEN-IDENT))
 (14 4 (:REWRITE C$::EXPR-UNAMBP-WHEN-CONST))
 (6 6 (:TYPE-PRESCRIPTION C$::EXPR-OPTION-UNAMBP))
 (2 2 (:TYPE-PRESCRIPTION THROW-NONEXEC-ERROR))
 (1 1 (:REWRITE C$::EXPR-LIST-UNAMBP-WHEN-ATOM))
 )
(FLAG::FLAG-EQUIV-LEMMA)
(C$::PRINT-EXPRS/DECLS/STMTS-FLAG-EQUIVALENCES)
(C$::FLAG-LEMMA-FOR-RETURN-TYPE-OF-PRINT-EXPR.NEW-PSTATE
 (832 208 (:DEFINITION EQ))
 (390 390 (:TYPE-PRESCRIPTION C$::PRINT-STRUCT-DECLOR))
 (350 90 (:REWRITE C$::EXPR-UNAMBP-WHEN-STRING))
 (350 90 (:REWRITE C$::EXPR-UNAMBP-WHEN-LABEL-ADDR))
 (350 90 (:REWRITE C$::EXPR-UNAMBP-WHEN-IDENT))
 (350 90 (:REWRITE C$::EXPR-UNAMBP-WHEN-CONST))
 (25 10 (:REWRITE C$::EXPR-LIST-UNAMBP-WHEN-ATOM))
 )
(C$::RETURN-TYPE-OF-PRINT-EXPR.NEW-PSTATE)
(C$::RETURN-TYPE-OF-PRINT-EXPR-LIST.NEW-PSTATE)
(C$::RETURN-TYPE-OF-PRINT-CONST-EXPR.NEW-PSTATE)
(C$::RETURN-TYPE-OF-PRINT-GENASSOC.NEW-PSTATE)
(C$::RETURN-TYPE-OF-PRINT-GENASSOC-LIST.NEW-PSTATE)
(C$::RETURN-TYPE-OF-PRINT-MEMBER-DESIGNOR.NEW-PSTATE)
(C$::RETURN-TYPE-OF-PRINT-TYPE-SPEC.NEW-PSTATE)
(C$::RETURN-TYPE-OF-PRINT-SPEC/QUAL.NEW-PSTATE)
(C$::RETURN-TYPE-OF-PRINT-SPEC/QUAL-LIST.NEW-PSTATE)
(C$::RETURN-TYPE-OF-PRINT-ALIGN-SPEC.NEW-PSTATE)
(C$::RETURN-TYPE-OF-PRINT-DECL-SPEC.NEW-PSTATE)
(C$::RETURN-TYPE-OF-PRINT-DECL-SPEC-LIST.NEW-PSTATE)
(C$::RETURN-TYPE-OF-PRINT-TYPEQUAL/ATTRIBSPEC.NEW-PSTATE)
(C$::RETURN-TYPE-OF-PRINT-TYPEQUAL/ATTRIBSPEC-LIST.NEW-PSTATE)
(C$::RETURN-TYPE-OF-PRINT-TYPEQUAL/ATTRIBSPEC-LIST-LIST.NEW-PSTATE)
(C$::RETURN-TYPE-OF-PRINT-INITER.NEW-PSTATE)
(C$::RETURN-TYPE-OF-PRINT-DESINITER.NEW-PSTATE)
(C$::RETURN-TYPE-OF-PRINT-DESINITER-LIST.NEW-PSTATE)
(C$::RETURN-TYPE-OF-PRINT-DESIGNOR.NEW-PSTATE)
(C$::RETURN-TYPE-OF-PRINT-DESIGNOR-LIST.NEW-PSTATE)
(C$::RETURN-TYPE-OF-PRINT-DECLOR.NEW-PSTATE)
(C$::RETURN-TYPE-OF-PRINT-DIRDECLOR.NEW-PSTATE)
(C$::RETURN-TYPE-OF-PRINT-ABSDECLOR.NEW-PSTATE)
(C$::RETURN-TYPE-OF-PRINT-DIRABSDECLOR.NEW-PSTATE)
(C$::RETURN-TYPE-OF-PRINT-PARAM-DECLON.NEW-PSTATE)
(C$::RETURN-TYPE-OF-PRINT-PARAM-DECLON-LIST.NEW-PSTATE)
(C$::RETURN-TYPE-OF-PRINT-PARAM-DECLOR.NEW-PSTATE)
(C$::RETURN-TYPE-OF-PRINT-TYNAME.NEW-PSTATE)
(C$::RETURN-TYPE-OF-PRINT-STRUNI-SPEC.NEW-PSTATE)
(C$::RETURN-TYPE-OF-PRINT-STRUCT-DECLON.NEW-PSTATE)
(C$::RETURN-TYPE-OF-PRINT-STRUCT-DECLON-LIST.NEW-PSTATE)
(C$::RETURN-TYPE-OF-PRINT-STRUCT-DECLOR.NEW-PSTATE
 (2 2 (:TYPE-PRESCRIPTION C$::PRINT-STRUCT-DECLOR))
 )
(C$::RETURN-TYPE-OF-PRINT-STRUCT-DECLOR-LIST.NEW-PSTATE
 (2 2 (:TYPE-PRESCRIPTION C$::PRINT-STRUCT-DECLOR-LIST))
 )
(C$::RETURN-TYPE-OF-PRINT-ENUM-SPEC.NEW-PSTATE)
(C$::RETURN-TYPE-OF-PRINT-ENUMER.NEW-PSTATE)
(C$::RETURN-TYPE-OF-PRINT-ENUMER-LIST.NEW-PSTATE)
(C$::RETURN-TYPE-OF-PRINT-STATASSERT.NEW-PSTATE)
(C$::RETURN-TYPE-OF-PRINT-ATTRIB.NEW-PSTATE)
(C$::RETURN-TYPE-OF-PRINT-ATTRIB-LIST.NEW-PSTATE)
(C$::RETURN-TYPE-OF-PRINT-ATTRIB-SPEC.NEW-PSTATE)
(C$::RETURN-TYPE-OF-PRINT-ATTRIB-SPEC-LIST.NEW-PSTATE)
(C$::RETURN-TYPE-OF-PRINT-INIT-DECLOR.NEW-PSTATE)
(C$::RETURN-TYPE-OF-PRINT-INIT-DECLOR-LIST.NEW-PSTATE)
(C$::RETURN-TYPE-OF-PRINT-DECLON.NEW-PSTATE)
(C$::RETURN-TYPE-OF-PRINT-DECLON-LIST.NEW-PSTATE)
(C$::RETURN-TYPE-OF-PRINT-LABEL.NEW-PSTATE)
(C$::RETURN-TYPE-OF-PRINT-ASM-OUTPUT.NEW-PSTATE)
(C$::RETURN-TYPE-OF-PRINT-ASM-OUTPUT-LIST.NEW-PSTATE)
(C$::RETURN-TYPE-OF-PRINT-ASM-INPUT.NEW-PSTATE)
(C$::RETURN-TYPE-OF-PRINT-ASM-INPUT-LIST.NEW-PSTATE)
(C$::RETURN-TYPE-OF-PRINT-ASM-STMT.NEW-PSTATE)
(C$::RETURN-TYPE-OF-PRINT-STMT.NEW-PSTATE)
(C$::RETURN-TYPE-OF-PRINT-COMP-STMT.NEW-PSTATE)
(C$::RETURN-TYPE-OF-PRINT-BLOCK-ITEM.NEW-PSTATE)
(C$::RETURN-TYPE-OF-PRINT-BLOCK-ITEM-LIST.NEW-PSTATE)
(C$::FLAG-LEMMA-FOR-PRINT-EXPR-OF-EXPR-FIX-EXPR
 (6375 6375 (:TYPE-PRESCRIPTION C$::EXPR-PRIORITY-KIND$INLINE))
 (2055 411 (:REWRITE C$::EXPRP-WHEN-EXPR-OPTIONP))
 (1020 340 (:REWRITE BOOL-FIX-WHEN-BOOLEANP))
 (915 123 (:REWRITE C$::STRUCT-DECLON-FIX-WHEN-STRUCT-DECLONP))
 (822 822 (:TYPE-PRESCRIPTION C$::EXPR-OPTIONP))
 (822 822 (:REWRITE C$::EXPRP-WHEN-MEMBER-EQUAL-OF-EXPR-LISTP))
 (822 411 (:REWRITE C$::EXPR-OPTIONP-WHEN-EXPRP))
 (750 375 (:REWRITE C$::EXPR-PRIORITY-FIX-WHEN-XOR))
 (750 375 (:REWRITE C$::EXPR-PRIORITY-FIX-WHEN-UNARY))
 (750 375 (:REWRITE C$::EXPR-PRIORITY-FIX-WHEN-SH))
 (750 375 (:REWRITE C$::EXPR-PRIORITY-FIX-WHEN-REL))
 (750 375 (:REWRITE C$::EXPR-PRIORITY-FIX-WHEN-PRIMARY))
 (750 375 (:REWRITE C$::EXPR-PRIORITY-FIX-WHEN-POSTFIX))
 (750 375 (:REWRITE C$::EXPR-PRIORITY-FIX-WHEN-MUL))
 (750 375 (:REWRITE C$::EXPR-PRIORITY-FIX-WHEN-LOGOR))
 (750 375 (:REWRITE C$::EXPR-PRIORITY-FIX-WHEN-LOGAND))
 (750 375 (:REWRITE C$::EXPR-PRIORITY-FIX-WHEN-IOR))
 (750 375 (:REWRITE C$::EXPR-PRIORITY-FIX-WHEN-EXPR))
 (750 375 (:REWRITE C$::EXPR-PRIORITY-FIX-WHEN-EQ))
 (750 375 (:REWRITE C$::EXPR-PRIORITY-FIX-WHEN-COND))
 (750 375 (:REWRITE C$::EXPR-PRIORITY-FIX-WHEN-CAST))
 (750 375 (:REWRITE C$::EXPR-PRIORITY-FIX-WHEN-ASG))
 (750 375 (:REWRITE C$::EXPR-PRIORITY-FIX-WHEN-AND))
 (750 375 (:REWRITE C$::EXPR-PRIORITY-FIX-WHEN-ADD))
 (704 176 (:DEFINITION EQ))
 (680 680 (:TYPE-PRESCRIPTION BOOLEANP))
 (532 40 (:REWRITE C$::INIT-DECLOR-FIX-WHEN-INIT-DECLORP))
 (460 92 (:REWRITE C$::DIRABSDECLORP-WHEN-DIRABSDECLOR-OPTIONP))
 (458 58 (:REWRITE C$::DECL-SPEC-FIX-WHEN-DECL-SPECP))
 (448 448 (:REWRITE C$::TYPEQUAL/ATTRIBSPEC-LIST-LISTP-WHEN-SUBSETP-EQUAL))
 (429 84 (:REWRITE C$::DECLONP-WHEN-DECLON-OPTIONP))
 (362 72 (:REWRITE C$::TYPE-SPECP-WHEN-TYPE-SPEC-OPTIONP))
 (338 338 (:REWRITE C$::STRUCT-DECLON-LISTP-WHEN-SUBSETP-EQUAL))
 (336 32 (:REWRITE C$::TYPEQUAL/ATTRIBSPEC-FIX-WHEN-TYPEQUAL/ATTRIBSPEC-P))
 (332 40 (:REWRITE C$::STRUCT-DECLOR-FIX-WHEN-STRUCT-DECLORP))
 (332 40 (:REWRITE C$::SPEC/QUAL-FIX-WHEN-SPEC/QUAL-P))
 (332 40 (:REWRITE C$::ATTRIB-FIX-WHEN-ATTRIBP))
 (312 45 (:REWRITE C$::DECLON-LIST-FIX-WHEN-DECLON-LISTP))
 (312 36 (:REWRITE C$::PARAM-DECLON-FIX-WHEN-PARAM-DECLONP))
 (312 36 (:REWRITE C$::DESIGNOR-FIX-WHEN-DESIGNORP))
 (308 88 (:REWRITE C$::EXPR-UNAMBP-WHEN-STRING))
 (308 88 (:REWRITE C$::EXPR-UNAMBP-WHEN-LABEL-ADDR))
 (308 88 (:REWRITE C$::EXPR-UNAMBP-WHEN-IDENT))
 (308 88 (:REWRITE C$::EXPR-UNAMBP-WHEN-CONST))
 (300 50 (:REWRITE C$::STRUCT-DECLONP-OF-CAR-WHEN-STRUCT-DECLON-LISTP))
 (292 32 (:REWRITE C$::GENASSOC-FIX-WHEN-GENASSOCP))
 (292 32 (:REWRITE C$::ENUMER-FIX-WHEN-ENUMERP))
 (292 32 (:REWRITE C$::DESINITER-FIX-WHEN-DESINITERP))
 (292 32 (:REWRITE C$::ASM-OUTPUT-FIX-WHEN-ASM-OUTPUTP))
 (292 32 (:REWRITE C$::ASM-INPUT-FIX-WHEN-ASM-INPUTP))
 (246 246 (:TYPE-PRESCRIPTION C$::STRUCT-DECLONP))
 (246 246 (:REWRITE C$::STRUCT-DECLONP-WHEN-MEMBER-EQUAL-OF-STRUCT-DECLON-LISTP))
 (224 224 (:REWRITE C$::TYPEQUAL/ATTRIBSPEC-LISTP-WHEN-SUBSETP-EQUAL))
 (224 224 (:REWRITE C$::TYPEQUAL/ATTRIBSPEC-LISTP-WHEN-MEMBER-EQUAL-OF-TYPEQUAL/ATTRIBSPEC-LIST-LISTP))
 (224 224 (:REWRITE C$::TYPEQUAL/ATTRIBSPEC-LIST-LISTP-WHEN-NOT-CONSP))
 (204 34 (:REWRITE C$::TYPEQUAL/ATTRIBSPEC-LISTP-OF-CAR-WHEN-TYPEQUAL/ATTRIBSPEC-LIST-LISTP))
 (204 34 (:REWRITE C$::TYPEQUAL/ATTRIBSPEC-LIST-LISTP-OF-CDR-WHEN-TYPEQUAL/ATTRIBSPEC-LIST-LISTP))
 (200 40 (:REWRITE C$::INIT-DECLORP-WHEN-INIT-DECLOR-OPTIONP))
 (192 32 (:REWRITE C$::STRUCT-DECLON-LISTP-OF-CDR-WHEN-STRUCT-DECLON-LISTP))
 (184 184 (:TYPE-PRESCRIPTION C$::DIRABSDECLOR-OPTIONP))
 (184 92 (:REWRITE C$::DIRABSDECLOR-OPTIONP-WHEN-DIRABSDECLORP))
 (177 84 (:REWRITE C$::DECLON-OPTIONP-WHEN-DECLONP))
 (176 22 (:REWRITE C$::TYPEQUAL/ATTRIBSPEC-P-OF-CAR-WHEN-TYPEQUAL/ATTRIBSPEC-LISTP))
 (172 172 (:REWRITE C$::DECL-SPEC-LISTP-WHEN-SUBSETP-EQUAL))
 (169 169 (:REWRITE C$::STRUCT-DECLON-LISTP-WHEN-NOT-CONSP))
 (169 23 (:REWRITE C$::BLOCK-ITEM-FIX-WHEN-BLOCK-ITEMP))
 (168 168 (:TYPE-PRESCRIPTION C$::DECLON-OPTIONP))
 (168 28 (:REWRITE C$::DECL-SPECP-OF-CAR-WHEN-DECL-SPEC-LISTP))
 (150 150 (:REWRITE C$::DECLONP-WHEN-MEMBER-EQUAL-OF-DECLON-LISTP))
 (148 148 (:REWRITE C$::STRUCT-DECLOR-LISTP-WHEN-SUBSETP-EQUAL))
 (148 148 (:REWRITE C$::SPEC/QUAL-LISTP-WHEN-SUBSETP-EQUAL))
 (148 148 (:REWRITE C$::PARAM-DECLON-LISTP-WHEN-SUBSETP-EQUAL))
 (148 148 (:REWRITE C$::INIT-DECLOR-LISTP-WHEN-SUBSETP-EQUAL))
 (148 148 (:REWRITE C$::GENASSOC-LISTP-WHEN-SUBSETP-EQUAL))
 (148 148 (:REWRITE C$::EXPR-LISTP-WHEN-SUBSETP-EQUAL))
 (148 148 (:REWRITE C$::ENUMER-LISTP-WHEN-SUBSETP-EQUAL))
 (148 148 (:REWRITE C$::DESINITER-LISTP-WHEN-SUBSETP-EQUAL))
 (148 148 (:REWRITE C$::DESIGNOR-LISTP-WHEN-SUBSETP-EQUAL))
 (148 148 (:REWRITE C$::DECLON-LISTP-WHEN-SUBSETP-EQUAL))
 (148 148 (:REWRITE C$::ATTRIB-SPEC-LISTP-WHEN-SUBSETP-EQUAL))
 (148 148 (:REWRITE C$::ATTRIB-LISTP-WHEN-SUBSETP-EQUAL))
 (148 148 (:REWRITE C$::ASM-OUTPUT-LISTP-WHEN-SUBSETP-EQUAL))
 (148 148 (:REWRITE C$::ASM-INPUT-LISTP-WHEN-SUBSETP-EQUAL))
 (146 72 (:REWRITE C$::TYPE-SPEC-OPTIONP-WHEN-TYPE-SPECP))
 (144 144 (:TYPE-PRESCRIPTION C$::TYPE-SPEC-OPTIONP))
 (144 144 (:REWRITE C$::TYPE-SPECP-WHEN-MEMBER-EQUAL-OF-TYPE-SPEC-LISTP))
 (132 22 (:REWRITE C$::STRUCT-DECLORP-OF-CAR-WHEN-STRUCT-DECLOR-LISTP))
 (132 22 (:REWRITE C$::SPEC/QUAL-P-OF-CAR-WHEN-SPEC/QUAL-LISTP))
 (132 22 (:REWRITE C$::PARAM-DECLONP-OF-CAR-WHEN-PARAM-DECLON-LISTP))
 (132 22 (:REWRITE C$::INIT-DECLORP-OF-CAR-WHEN-INIT-DECLOR-LISTP))
 (132 22 (:REWRITE C$::GENASSOCP-OF-CAR-WHEN-GENASSOC-LISTP))
 (132 22 (:REWRITE C$::EXPRP-OF-CAR-WHEN-EXPR-LISTP))
 (132 22 (:REWRITE C$::ENUMERP-OF-CAR-WHEN-ENUMER-LISTP))
 (132 22 (:REWRITE C$::DESINITERP-OF-CAR-WHEN-DESINITER-LISTP))
 (132 22 (:REWRITE C$::DESIGNORP-OF-CAR-WHEN-DESIGNOR-LISTP))
 (132 22 (:REWRITE C$::DECLONP-OF-CAR-WHEN-DECLON-LISTP))
 (132 22 (:REWRITE C$::ATTRIBP-OF-CAR-WHEN-ATTRIB-LISTP))
 (132 22 (:REWRITE C$::ATTRIB-SPECP-OF-CAR-WHEN-ATTRIB-SPEC-LISTP))
 (132 22 (:REWRITE C$::ASM-OUTPUTP-OF-CAR-WHEN-ASM-OUTPUT-LISTP))
 (132 22 (:REWRITE C$::ASM-INPUTP-OF-CAR-WHEN-ASM-INPUT-LISTP))
 (120 120 (:TYPE-PRESCRIPTION C$::INIT-DECLORP))
 (116 116 (:TYPE-PRESCRIPTION C$::DECL-SPECP))
 (116 116 (:REWRITE C$::DECL-SPECP-WHEN-MEMBER-EQUAL-OF-DECL-SPEC-LISTP))
 (112 112 (:REWRITE C$::TYPEQUAL/ATTRIBSPEC-LISTP-WHEN-NOT-CONSP))
 (99 93 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-AUTO-TYPE))
 (92 58 (:REWRITE C$::DECL-SPEC-FIX-WHEN-STDCALL))
 (88 11 (:REWRITE C$::TYPEQUAL/ATTRIBSPEC-LISTP-OF-CDR-WHEN-TYPEQUAL/ATTRIBSPEC-LISTP))
 (86 86 (:REWRITE C$::DECL-SPEC-LISTP-WHEN-NOT-CONSP))
 (84 14 (:REWRITE C$::DECL-SPEC-LISTP-OF-CDR-WHEN-DECL-SPEC-LISTP))
 (80 80 (:TYPE-PRESCRIPTION C$::STRUCT-DECLORP))
 (80 80 (:TYPE-PRESCRIPTION C$::SPEC/QUAL-P))
 (80 80 (:TYPE-PRESCRIPTION C$::INIT-DECLOR-OPTIONP))
 (80 80 (:TYPE-PRESCRIPTION C$::ATTRIBP))
 (80 80 (:REWRITE C$::STRUCT-DECLORP-WHEN-MEMBER-EQUAL-OF-STRUCT-DECLOR-LISTP))
 (80 80 (:REWRITE C$::SPEC/QUAL-P-WHEN-MEMBER-EQUAL-OF-SPEC/QUAL-LISTP))
 (80 80 (:REWRITE C$::INIT-DECLORP-WHEN-MEMBER-EQUAL-OF-INIT-DECLOR-LISTP))
 (80 80 (:REWRITE C$::ATTRIBP-WHEN-MEMBER-EQUAL-OF-ATTRIB-LISTP))
 (80 40 (:REWRITE C$::INIT-DECLOR-OPTIONP-WHEN-INIT-DECLORP))
 (80 16 (:REWRITE C$::ABSDECLORP-WHEN-ABSDECLOR-OPTIONP))
 (78 78 (:REWRITE C$::BLOCK-ITEM-LISTP-WHEN-SUBSETP-EQUAL))
 (76 76 (:REWRITE C$::ATTRIB-SPECP-WHEN-MEMBER-EQUAL-OF-ATTRIB-SPEC-LISTP))
 (74 74 (:REWRITE C$::STRUCT-DECLOR-LISTP-WHEN-NOT-CONSP))
 (74 74 (:REWRITE C$::SPEC/QUAL-LISTP-WHEN-NOT-CONSP))
 (74 74 (:REWRITE C$::PARAM-DECLON-LISTP-WHEN-NOT-CONSP))
 (74 74 (:REWRITE C$::INIT-DECLOR-LISTP-WHEN-NOT-CONSP))
 (74 74 (:REWRITE C$::GENASSOC-LISTP-WHEN-NOT-CONSP))
 (74 74 (:REWRITE C$::EXPR-LISTP-WHEN-NOT-CONSP))
 (74 74 (:REWRITE C$::ENUMER-LISTP-WHEN-NOT-CONSP))
 (74 74 (:REWRITE C$::DESINITER-LISTP-WHEN-NOT-CONSP))
 (74 74 (:REWRITE C$::DESIGNOR-LISTP-WHEN-NOT-CONSP))
 (74 74 (:REWRITE C$::DECLON-LISTP-WHEN-NOT-CONSP))
 (74 74 (:REWRITE C$::ATTRIB-SPEC-LISTP-WHEN-NOT-CONSP))
 (74 74 (:REWRITE C$::ATTRIB-LISTP-WHEN-NOT-CONSP))
 (74 74 (:REWRITE C$::ASM-OUTPUT-LISTP-WHEN-NOT-CONSP))
 (74 74 (:REWRITE C$::ASM-INPUT-LISTP-WHEN-NOT-CONSP))
 (72 72 (:TYPE-PRESCRIPTION C$::PARAM-DECLONP))
 (72 72 (:TYPE-PRESCRIPTION C$::DESIGNORP))
 (72 72 (:REWRITE C$::PARAM-DECLONP-WHEN-MEMBER-EQUAL-OF-PARAM-DECLON-LISTP))
 (72 72 (:REWRITE C$::DESIGNORP-WHEN-MEMBER-EQUAL-OF-DESIGNOR-LISTP))
 (66 11 (:REWRITE C$::STRUCT-DECLOR-LISTP-OF-CDR-WHEN-STRUCT-DECLOR-LISTP))
 (66 11 (:REWRITE C$::SPEC/QUAL-LISTP-OF-CDR-WHEN-SPEC/QUAL-LISTP))
 (66 11 (:REWRITE C$::PARAM-DECLON-LISTP-OF-CDR-WHEN-PARAM-DECLON-LISTP))
 (66 11 (:REWRITE C$::INIT-DECLOR-LISTP-OF-CDR-WHEN-INIT-DECLOR-LISTP))
 (66 11 (:REWRITE C$::GENASSOC-LISTP-OF-CDR-WHEN-GENASSOC-LISTP))
 (66 11 (:REWRITE C$::EXPR-LISTP-OF-CDR-WHEN-EXPR-LISTP))
 (66 11 (:REWRITE C$::ENUMER-LISTP-OF-CDR-WHEN-ENUMER-LISTP))
 (66 11 (:REWRITE C$::DESINITER-LISTP-OF-CDR-WHEN-DESINITER-LISTP))
 (66 11 (:REWRITE C$::DESIGNOR-LISTP-OF-CDR-WHEN-DESIGNOR-LISTP))
 (66 11 (:REWRITE C$::DECLON-LISTP-OF-CDR-WHEN-DECLON-LISTP))
 (66 11 (:REWRITE C$::ATTRIB-SPEC-LISTP-OF-CDR-WHEN-ATTRIB-SPEC-LISTP))
 (66 11 (:REWRITE C$::ATTRIB-LISTP-OF-CDR-WHEN-ATTRIB-LISTP))
 (66 11 (:REWRITE C$::ASM-OUTPUT-LISTP-OF-CDR-WHEN-ASM-OUTPUT-LISTP))
 (66 11 (:REWRITE C$::ASM-INPUT-LISTP-OF-CDR-WHEN-ASM-INPUT-LISTP))
 (64 64 (:TYPE-PRESCRIPTION C$::TYPEQUAL/ATTRIBSPEC-P))
 (64 64 (:TYPE-PRESCRIPTION C$::GENASSOCP))
 (64 64 (:TYPE-PRESCRIPTION C$::ENUMERP))
 (64 64 (:TYPE-PRESCRIPTION C$::DESINITERP))
 (64 64 (:TYPE-PRESCRIPTION C$::ASM-OUTPUTP))
 (64 64 (:TYPE-PRESCRIPTION C$::ASM-INPUTP))
 (64 64 (:REWRITE C$::TYPEQUAL/ATTRIBSPEC-P-WHEN-MEMBER-EQUAL-OF-TYPEQUAL/ATTRIBSPEC-LISTP))
 (64 64 (:REWRITE C$::GENASSOCP-WHEN-MEMBER-EQUAL-OF-GENASSOC-LISTP))
 (64 64 (:REWRITE C$::ENUMERP-WHEN-MEMBER-EQUAL-OF-ENUMER-LISTP))
 (64 64 (:REWRITE C$::DESINITERP-WHEN-MEMBER-EQUAL-OF-DESINITER-LISTP))
 (64 64 (:REWRITE C$::ASM-OUTPUTP-WHEN-MEMBER-EQUAL-OF-ASM-OUTPUT-LISTP))
 (64 64 (:REWRITE C$::ASM-INPUTP-WHEN-MEMBER-EQUAL-OF-ASM-INPUT-LISTP))
 (60 12 (:REWRITE C$::INITERP-WHEN-INITER-OPTIONP))
 (54 9 (:REWRITE C$::BLOCK-ITEMP-OF-CAR-WHEN-BLOCK-ITEM-LISTP))
 (54 9 (:REWRITE C$::BLOCK-ITEM-LISTP-OF-CDR-WHEN-BLOCK-ITEM-LISTP))
 (49 22 (:REWRITE C$::EXPR-LIST-UNAMBP-WHEN-ATOM))
 (46 46 (:TYPE-PRESCRIPTION C$::BLOCK-ITEMP))
 (46 46 (:REWRITE C$::BLOCK-ITEMP-WHEN-MEMBER-EQUAL-OF-BLOCK-ITEM-LISTP))
 (40 8 (:REWRITE C$::DECLORP-WHEN-DECLOR-OPTIONP))
 (39 39 (:REWRITE C$::BLOCK-ITEM-LISTP-WHEN-NOT-CONSP))
 (32 32 (:TYPE-PRESCRIPTION C$::ABSDECLOR-OPTIONP))
 (32 16 (:REWRITE C$::ABSDECLOR-OPTIONP-WHEN-ABSDECLORP))
 (24 24 (:TYPE-PRESCRIPTION C$::INITER-OPTIONP))
 (24 12 (:REWRITE C$::INITER-OPTIONP-WHEN-INITERP))
 (20 14 (:REWRITE C$::PARAM-DECLOR-FIX-WHEN-NONE))
 (20 4 (:REWRITE C$::CONST-EXPRP-WHEN-CONST-EXPR-OPTIONP))
 (16 16 (:TYPE-PRESCRIPTION C$::DECLOR-OPTIONP))
 (16 8 (:REWRITE C$::DECLOR-OPTIONP-WHEN-DECLORP))
 (8 8 (:TYPE-PRESCRIPTION C$::CONST-EXPR-OPTIONP))
 (8 4 (:REWRITE C$::CONST-EXPR-OPTIONP-WHEN-CONST-EXPRP))
 (5 5 (:REWRITE-QUOTED-CONSTANT C$::EXPR-PRIORITY-FIX-UNDER-EXPR-PRIORITY-EQUIV))
 )
(C$::PRINT-EXPR-OF-EXPR-FIX-EXPR)
(C$::PRINT-EXPR-OF-EXPR-PRIORITY-FIX-EXPECTED-PRIO)
(C$::PRINT-EXPR-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-EXPR-LIST-OF-EXPR-LIST-FIX-EXPRS)
(C$::PRINT-EXPR-LIST-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-CONST-EXPR-OF-CONST-EXPR-FIX-CEXPR)
(C$::PRINT-CONST-EXPR-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-GENASSOC-OF-GENASSOC-FIX-GENASSOC)
(C$::PRINT-GENASSOC-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-GENASSOC-LIST-OF-GENASSOC-LIST-FIX-GENASSOCS)
(C$::PRINT-GENASSOC-LIST-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-MEMBER-DESIGNOR-OF-MEMBER-DESIGNOR-FIX-MEMDES)
(C$::PRINT-MEMBER-DESIGNOR-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-TYPE-SPEC-OF-TYPE-SPEC-FIX-TYSPEC)
(C$::PRINT-TYPE-SPEC-OF-BOOL-FIX-INLINEP)
(C$::PRINT-TYPE-SPEC-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-SPEC/QUAL-OF-SPEC/QUAL-FIX-SPECQUAL)
(C$::PRINT-SPEC/QUAL-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-SPEC/QUAL-LIST-OF-SPEC/QUAL-LIST-FIX-SPECQUALS)
(C$::PRINT-SPEC/QUAL-LIST-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-ALIGN-SPEC-OF-ALIGN-SPEC-FIX-ALIGNSPEC)
(C$::PRINT-ALIGN-SPEC-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-DECL-SPEC-OF-DECL-SPEC-FIX-DECLSPEC)
(C$::PRINT-DECL-SPEC-OF-BOOL-FIX-INLINEP)
(C$::PRINT-DECL-SPEC-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-DECL-SPEC-LIST-OF-DECL-SPEC-LIST-FIX-DECLSPECS)
(C$::PRINT-DECL-SPEC-LIST-OF-BOOL-FIX-INLINEP)
(C$::PRINT-DECL-SPEC-LIST-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-TYPEQUAL/ATTRIBSPEC-OF-TYPEQUAL/ATTRIBSPEC-FIX-TYQUALATTRIB)
(C$::PRINT-TYPEQUAL/ATTRIBSPEC-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-TYPEQUAL/ATTRIBSPEC-LIST-OF-TYPEQUAL/ATTRIBSPEC-LIST-FIX-TYQUALATTRIBS)
(C$::PRINT-TYPEQUAL/ATTRIBSPEC-LIST-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-TYPEQUAL/ATTRIBSPEC-LIST-LIST-OF-TYPEQUAL/ATTRIBSPEC-LIST-LIST-FIX-TYQUALATTRIBSS)
(C$::PRINT-TYPEQUAL/ATTRIBSPEC-LIST-LIST-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-INITER-OF-INITER-FIX-INITER)
(C$::PRINT-INITER-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-DESINITER-OF-DESINITER-FIX-DESINITER)
(C$::PRINT-DESINITER-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-DESINITER-LIST-OF-DESINITER-LIST-FIX-DESINITERS)
(C$::PRINT-DESINITER-LIST-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-DESIGNOR-OF-DESIGNOR-FIX-DESIGNOR)
(C$::PRINT-DESIGNOR-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-DESIGNOR-LIST-OF-DESIGNOR-LIST-FIX-DESIGNORS)
(C$::PRINT-DESIGNOR-LIST-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-DECLOR-OF-DECLOR-FIX-DECLOR)
(C$::PRINT-DECLOR-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-DIRDECLOR-OF-DIRDECLOR-FIX-DIRDECLOR)
(C$::PRINT-DIRDECLOR-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-ABSDECLOR-OF-ABSDECLOR-FIX-ABSDECLOR)
(C$::PRINT-ABSDECLOR-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-DIRABSDECLOR-OF-DIRABSDECLOR-FIX-DIRABSDECLOR)
(C$::PRINT-DIRABSDECLOR-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-PARAM-DECLON-OF-PARAM-DECLON-FIX-PARAM)
(C$::PRINT-PARAM-DECLON-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-PARAM-DECLON-LIST-OF-PARAM-DECLON-LIST-FIX-PARAMS)
(C$::PRINT-PARAM-DECLON-LIST-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-PARAM-DECLOR-OF-PARAM-DECLOR-FIX-PARAMDECLOR)
(C$::PRINT-PARAM-DECLOR-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-TYNAME-OF-TYNAME-FIX-TYNAME)
(C$::PRINT-TYNAME-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-STRUNI-SPEC-OF-STRUNI-SPEC-FIX-STRUNI-SPEC)
(C$::PRINT-STRUNI-SPEC-OF-BOOL-FIX-INLINEP)
(C$::PRINT-STRUNI-SPEC-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-STRUCT-DECLON-OF-STRUCT-DECLON-FIX-STRUCTDECLON)
(C$::PRINT-STRUCT-DECLON-OF-BOOL-FIX-INLINEP)
(C$::PRINT-STRUCT-DECLON-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-STRUCT-DECLON-LIST-OF-STRUCT-DECLON-LIST-FIX-STRUCTDECLONS)
(C$::PRINT-STRUCT-DECLON-LIST-OF-BOOL-FIX-INLINEP)
(C$::PRINT-STRUCT-DECLON-LIST-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-STRUCT-DECLOR-OF-STRUCT-DECLOR-FIX-STRUCTDECLOR)
(C$::PRINT-STRUCT-DECLOR-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-STRUCT-DECLOR-LIST-OF-STRUCT-DECLOR-LIST-FIX-STRUCTDECLORS)
(C$::PRINT-STRUCT-DECLOR-LIST-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-ENUM-SPEC-OF-ENUM-SPEC-FIX-ENUMSPEC)
(C$::PRINT-ENUM-SPEC-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-ENUMER-OF-ENUMER-FIX-ENUMER)
(C$::PRINT-ENUMER-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-ENUMER-LIST-OF-ENUMER-LIST-FIX-ENUMERS)
(C$::PRINT-ENUMER-LIST-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-STATASSERT-OF-STATASSERT-FIX-STATASSERT)
(C$::PRINT-STATASSERT-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-ATTRIB-OF-ATTRIB-FIX-ATTR)
(C$::PRINT-ATTRIB-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-ATTRIB-LIST-OF-ATTRIB-LIST-FIX-ATTRS)
(C$::PRINT-ATTRIB-LIST-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-ATTRIB-SPEC-OF-ATTRIB-SPEC-FIX-ATTRSPEC)
(C$::PRINT-ATTRIB-SPEC-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-ATTRIB-SPEC-LIST-OF-ATTRIB-SPEC-LIST-FIX-ATTRSPECS)
(C$::PRINT-ATTRIB-SPEC-LIST-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-INIT-DECLOR-OF-INIT-DECLOR-FIX-INITDECLOR)
(C$::PRINT-INIT-DECLOR-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-INIT-DECLOR-LIST-OF-INIT-DECLOR-LIST-FIX-INITDECLORS)
(C$::PRINT-INIT-DECLOR-LIST-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-DECLON-OF-DECLON-FIX-DECLON)
(C$::PRINT-DECLON-OF-BOOL-FIX-INLINEP)
(C$::PRINT-DECLON-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-DECLON-LIST-OF-DECLON-LIST-FIX-DECLONS)
(C$::PRINT-DECLON-LIST-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-LABEL-OF-LABEL-FIX-LABEL)
(C$::PRINT-LABEL-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-ASM-OUTPUT-OF-ASM-OUTPUT-FIX-OUTPUT)
(C$::PRINT-ASM-OUTPUT-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-ASM-OUTPUT-LIST-OF-ASM-OUTPUT-LIST-FIX-OUTPUTS)
(C$::PRINT-ASM-OUTPUT-LIST-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-ASM-INPUT-OF-ASM-INPUT-FIX-INPUT)
(C$::PRINT-ASM-INPUT-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-ASM-INPUT-LIST-OF-ASM-INPUT-LIST-FIX-INPUTS)
(C$::PRINT-ASM-INPUT-LIST-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-ASM-STMT-OF-ASM-STMT-FIX-ASM)
(C$::PRINT-ASM-STMT-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-STMT-OF-STMT-FIX-STMT)
(C$::PRINT-STMT-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-COMP-STMT-OF-COMP-STMT-FIX-CSTMT)
(C$::PRINT-COMP-STMT-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-BLOCK-ITEM-OF-BLOCK-ITEM-FIX-ITEM)
(C$::PRINT-BLOCK-ITEM-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-BLOCK-ITEM-LIST-OF-BLOCK-ITEM-LIST-FIX-ITEMS)
(C$::PRINT-BLOCK-ITEM-LIST-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-EXPR-EXPR-EQUIV-CONGRUENCE-ON-EXPR)
(C$::PRINT-EXPR-EXPR-PRIORITY-EQUIV-CONGRUENCE-ON-EXPECTED-PRIO)
(C$::PRINT-EXPR-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-EXPR-LIST-EXPR-LIST-EQUIV-CONGRUENCE-ON-EXPRS)
(C$::PRINT-EXPR-LIST-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-CONST-EXPR-CONST-EXPR-EQUIV-CONGRUENCE-ON-CEXPR)
(C$::PRINT-CONST-EXPR-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-GENASSOC-GENASSOC-EQUIV-CONGRUENCE-ON-GENASSOC)
(C$::PRINT-GENASSOC-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-GENASSOC-LIST-GENASSOC-LIST-EQUIV-CONGRUENCE-ON-GENASSOCS)
(C$::PRINT-GENASSOC-LIST-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-MEMBER-DESIGNOR-MEMBER-DESIGNOR-EQUIV-CONGRUENCE-ON-MEMDES)
(C$::PRINT-MEMBER-DESIGNOR-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-TYPE-SPEC-TYPE-SPEC-EQUIV-CONGRUENCE-ON-TYSPEC)
(C$::PRINT-TYPE-SPEC-IFF-CONGRUENCE-ON-INLINEP)
(C$::PRINT-TYPE-SPEC-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-SPEC/QUAL-SPEC/QUAL-EQUIV-CONGRUENCE-ON-SPECQUAL)
(C$::PRINT-SPEC/QUAL-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-SPEC/QUAL-LIST-SPEC/QUAL-LIST-EQUIV-CONGRUENCE-ON-SPECQUALS)
(C$::PRINT-SPEC/QUAL-LIST-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-ALIGN-SPEC-ALIGN-SPEC-EQUIV-CONGRUENCE-ON-ALIGNSPEC)
(C$::PRINT-ALIGN-SPEC-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-DECL-SPEC-DECL-SPEC-EQUIV-CONGRUENCE-ON-DECLSPEC)
(C$::PRINT-DECL-SPEC-IFF-CONGRUENCE-ON-INLINEP)
(C$::PRINT-DECL-SPEC-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-DECL-SPEC-LIST-DECL-SPEC-LIST-EQUIV-CONGRUENCE-ON-DECLSPECS)
(C$::PRINT-DECL-SPEC-LIST-IFF-CONGRUENCE-ON-INLINEP)
(C$::PRINT-DECL-SPEC-LIST-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-TYPEQUAL/ATTRIBSPEC-TYPEQUAL/ATTRIBSPEC-EQUIV-CONGRUENCE-ON-TYQUALATTRIB)
(C$::PRINT-TYPEQUAL/ATTRIBSPEC-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-TYPEQUAL/ATTRIBSPEC-LIST-TYPEQUAL/ATTRIBSPEC-LIST-EQUIV-CONGRUENCE-ON-TYQUALATTRIBS)
(C$::PRINT-TYPEQUAL/ATTRIBSPEC-LIST-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-TYPEQUAL/ATTRIBSPEC-LIST-LIST-TYPEQUAL/ATTRIBSPEC-LIST-LIST-EQUIV-CONGRUENCE-ON-TYQUALATTRIBSS)
(C$::PRINT-TYPEQUAL/ATTRIBSPEC-LIST-LIST-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-INITER-INITER-EQUIV-CONGRUENCE-ON-INITER)
(C$::PRINT-INITER-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-DESINITER-DESINITER-EQUIV-CONGRUENCE-ON-DESINITER)
(C$::PRINT-DESINITER-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-DESINITER-LIST-DESINITER-LIST-EQUIV-CONGRUENCE-ON-DESINITERS)
(C$::PRINT-DESINITER-LIST-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-DESIGNOR-DESIGNOR-EQUIV-CONGRUENCE-ON-DESIGNOR)
(C$::PRINT-DESIGNOR-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-DESIGNOR-LIST-DESIGNOR-LIST-EQUIV-CONGRUENCE-ON-DESIGNORS)
(C$::PRINT-DESIGNOR-LIST-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-DECLOR-DECLOR-EQUIV-CONGRUENCE-ON-DECLOR)
(C$::PRINT-DECLOR-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-DIRDECLOR-DIRDECLOR-EQUIV-CONGRUENCE-ON-DIRDECLOR)
(C$::PRINT-DIRDECLOR-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-ABSDECLOR-ABSDECLOR-EQUIV-CONGRUENCE-ON-ABSDECLOR)
(C$::PRINT-ABSDECLOR-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-DIRABSDECLOR-DIRABSDECLOR-EQUIV-CONGRUENCE-ON-DIRABSDECLOR)
(C$::PRINT-DIRABSDECLOR-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-PARAM-DECLON-PARAM-DECLON-EQUIV-CONGRUENCE-ON-PARAM)
(C$::PRINT-PARAM-DECLON-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-PARAM-DECLON-LIST-PARAM-DECLON-LIST-EQUIV-CONGRUENCE-ON-PARAMS)
(C$::PRINT-PARAM-DECLON-LIST-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-PARAM-DECLOR-PARAM-DECLOR-EQUIV-CONGRUENCE-ON-PARAMDECLOR)
(C$::PRINT-PARAM-DECLOR-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-TYNAME-TYNAME-EQUIV-CONGRUENCE-ON-TYNAME)
(C$::PRINT-TYNAME-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-STRUNI-SPEC-STRUNI-SPEC-EQUIV-CONGRUENCE-ON-STRUNI-SPEC)
(C$::PRINT-STRUNI-SPEC-IFF-CONGRUENCE-ON-INLINEP)
(C$::PRINT-STRUNI-SPEC-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-STRUCT-DECLON-STRUCT-DECLON-EQUIV-CONGRUENCE-ON-STRUCTDECLON)
(C$::PRINT-STRUCT-DECLON-IFF-CONGRUENCE-ON-INLINEP)
(C$::PRINT-STRUCT-DECLON-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-STRUCT-DECLON-LIST-STRUCT-DECLON-LIST-EQUIV-CONGRUENCE-ON-STRUCTDECLONS)
(C$::PRINT-STRUCT-DECLON-LIST-IFF-CONGRUENCE-ON-INLINEP)
(C$::PRINT-STRUCT-DECLON-LIST-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-STRUCT-DECLOR-STRUCT-DECLOR-EQUIV-CONGRUENCE-ON-STRUCTDECLOR)
(C$::PRINT-STRUCT-DECLOR-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-STRUCT-DECLOR-LIST-STRUCT-DECLOR-LIST-EQUIV-CONGRUENCE-ON-STRUCTDECLORS)
(C$::PRINT-STRUCT-DECLOR-LIST-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-ENUM-SPEC-ENUM-SPEC-EQUIV-CONGRUENCE-ON-ENUMSPEC)
(C$::PRINT-ENUM-SPEC-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-ENUMER-ENUMER-EQUIV-CONGRUENCE-ON-ENUMER)
(C$::PRINT-ENUMER-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-ENUMER-LIST-ENUMER-LIST-EQUIV-CONGRUENCE-ON-ENUMERS)
(C$::PRINT-ENUMER-LIST-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-STATASSERT-STATASSERT-EQUIV-CONGRUENCE-ON-STATASSERT)
(C$::PRINT-STATASSERT-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-ATTRIB-ATTRIB-EQUIV-CONGRUENCE-ON-ATTR)
(C$::PRINT-ATTRIB-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-ATTRIB-LIST-ATTRIB-LIST-EQUIV-CONGRUENCE-ON-ATTRS)
(C$::PRINT-ATTRIB-LIST-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-ATTRIB-SPEC-ATTRIB-SPEC-EQUIV-CONGRUENCE-ON-ATTRSPEC)
(C$::PRINT-ATTRIB-SPEC-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-ATTRIB-SPEC-LIST-ATTRIB-SPEC-LIST-EQUIV-CONGRUENCE-ON-ATTRSPECS)
(C$::PRINT-ATTRIB-SPEC-LIST-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-INIT-DECLOR-INIT-DECLOR-EQUIV-CONGRUENCE-ON-INITDECLOR)
(C$::PRINT-INIT-DECLOR-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-INIT-DECLOR-LIST-INIT-DECLOR-LIST-EQUIV-CONGRUENCE-ON-INITDECLORS)
(C$::PRINT-INIT-DECLOR-LIST-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-DECLON-DECLON-EQUIV-CONGRUENCE-ON-DECLON)
(C$::PRINT-DECLON-IFF-CONGRUENCE-ON-INLINEP)
(C$::PRINT-DECLON-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-DECLON-LIST-DECLON-LIST-EQUIV-CONGRUENCE-ON-DECLONS)
(C$::PRINT-DECLON-LIST-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-LABEL-LABEL-EQUIV-CONGRUENCE-ON-LABEL)
(C$::PRINT-LABEL-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-ASM-OUTPUT-ASM-OUTPUT-EQUIV-CONGRUENCE-ON-OUTPUT)
(C$::PRINT-ASM-OUTPUT-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-ASM-OUTPUT-LIST-ASM-OUTPUT-LIST-EQUIV-CONGRUENCE-ON-OUTPUTS)
(C$::PRINT-ASM-OUTPUT-LIST-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-ASM-INPUT-ASM-INPUT-EQUIV-CONGRUENCE-ON-INPUT)
(C$::PRINT-ASM-INPUT-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-ASM-INPUT-LIST-ASM-INPUT-LIST-EQUIV-CONGRUENCE-ON-INPUTS)
(C$::PRINT-ASM-INPUT-LIST-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-ASM-STMT-ASM-STMT-EQUIV-CONGRUENCE-ON-ASM)
(C$::PRINT-ASM-STMT-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-STMT-STMT-EQUIV-CONGRUENCE-ON-STMT)
(C$::PRINT-STMT-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-COMP-STMT-COMP-STMT-EQUIV-CONGRUENCE-ON-CSTMT)
(C$::PRINT-COMP-STMT-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-BLOCK-ITEM-BLOCK-ITEM-EQUIV-CONGRUENCE-ON-ITEM)
(C$::PRINT-BLOCK-ITEM-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-BLOCK-ITEM-LIST-BLOCK-ITEM-LIST-EQUIV-CONGRUENCE-ON-ITEMS)
(C$::PRINT-BLOCK-ITEM-LIST-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::FLAG-LEMMA-FOR-PRISTATE->VERSION-OF-PRINT-EXPRS/DECLS/STMTS
 (672 168 (:DEFINITION EQ))
 (657 657 (:REWRITE-QUOTED-CONSTANT C$::EXPR-PRIORITY-FIX-UNDER-EXPR-PRIORITY-EQUIV))
 (276 66 (:REWRITE C$::EXPR-UNAMBP-WHEN-STRING))
 (276 66 (:REWRITE C$::EXPR-UNAMBP-WHEN-LABEL-ADDR))
 (276 66 (:REWRITE C$::EXPR-UNAMBP-WHEN-IDENT))
 (276 66 (:REWRITE C$::EXPR-UNAMBP-WHEN-CONST))
 (34 10 (:REWRITE C$::EXPR-LIST-UNAMBP-WHEN-ATOM))
 (18 18 (:TYPE-PRESCRIPTION C$::PRINT-STRUCT-DECLOR))
 (4 4 (:TYPE-PRESCRIPTION C$::COMP-STMT->ITEMS$INLINE))
 )
(C$::PRISTATE->VERSION-OF-PRINT-EXPR)
(C$::PRISTATE->VERSION-OF-PRINT-EXPR-LIST)
(C$::PRISTATE->VERSION-OF-PRINT-CONST-EXPR)
(C$::PRISTATE->VERSION-OF-PRINT-GENASSOC)
(C$::PRISTATE->VERSION-OF-PRINT-GENASSOC-LIST)
(C$::PRISTATE->VERSION-OF-PRINT-MEMBER-DESIGNOR)
(C$::PRISTATE->VERSION-OF-PRINT-TYPE-SPEC)
(C$::PRISTATE->VERSION-OF-PRINT-SPEC/QUAL)
(C$::PRISTATE->VERSION-OF-PRINT-SPEC/QUAL-LIST)
(C$::PRISTATE->VERSION-OF-PRINT-ALIGN-SPEC)
(C$::PRISTATE->VERSION-OF-PRINT-DECL-SPEC)
(C$::PRISTATE->VERSION-OF-PRINT-DECL-SPEC-LIST)
(C$::PRISTATE->VERSION-OF-PRINT-TYPEQUAL/ATTRIBSPEC)
(C$::PRISTATE->VERSION-OF-PRINT-TYPEQUAL/ATTRIBSPEC-LIST)
(C$::PRISTATE->VERSION-OF-PRINT-TYPEQUAL/ATTRIBSPEC-LIST-LIST)
(C$::PRISTATE->VERSION-OF-PRINT-INITER)
(C$::PRISTATE->VERSION-OF-PRINT-DESINITER)
(C$::PRISTATE->VERSION-OF-PRINT-DESINITER-LIST)
(C$::PRISTATE->VERSION-OF-PRINT-DESIGNOR)
(C$::PRISTATE->VERSION-OF-PRINT-DESIGNOR-LIST)
(C$::PRISTATE->VERSION-OF-PRINT-DECLOR)
(C$::PRISTATE->VERSION-OF-PRINT-DIRDECLOR)
(C$::PRISTATE->VERSION-OF-PRINT-ABSDECLOR)
(C$::PRISTATE->VERSION-OF-PRINT-DIRABSDECLOR)
(C$::PRISTATE->VERSION-OF-PRINT-PARAM-DECLON)
(C$::PRISTATE->VERSION-OF-PRINT-PARAM-DECLON-LIST)
(C$::PRISTATE->VERSION-OF-PRINT-PARAM-DECLOR)
(C$::PRISTATE->VERSION-OF-PRINT-TYNAME)
(C$::PRISTATE->VERSION-OF-PRINT-STRUNI-SPEC)
(C$::PRISTATE->VERSION-OF-PRINT-STRUCT-DECLON)
(C$::PRISTATE->VERSION-OF-PRINT-STRUCT-DECLON-LIST)
(C$::PRISTATE->VERSION-OF-PRINT-STRUCT-DECLOR)
(C$::PRISTATE->VERSION-OF-PRINT-STRUCT-DECLOR-LIST)
(C$::PRISTATE->VERSION-OF-PRINT-ENUM-SPEC)
(C$::PRISTATE->VERSION-OF-PRINT-ENUMER)
(C$::PRISTATE->VERSION-OF-PRINT-ENUMER-LIST)
(C$::PRISTATE->VERSION-OF-PRINT-STATASSERT)
(C$::PRISTATE->VERSION-OF-PRINT-ATTRIB)
(C$::PRISTATE->VERSION-OF-PRINT-ATTRIB-LIST)
(C$::PRISTATE->VERSION-OF-PRINT-ATTRIB-SPEC)
(C$::PRISTATE->VERSION-OF-PRINT-ATTRIB-SPEC-LIST)
(C$::PRISTATE->VERSION-OF-PRINT-INIT-DECLOR)
(C$::PRISTATE->VERSION-OF-PRINT-INIT-DECLOR-LIST)
(C$::PRISTATE->VERSION-OF-PRINT-DECLON)
(C$::PRISTATE->VERSION-OF-PRINT-DECLON-LIST)
(C$::PRISTATE->VERSION-OF-PRINT-LABEL)
(C$::PRISTATE->VERSION-OF-PRINT-ASM-OUTPUT)
(C$::PRISTATE->VERSION-OF-PRINT-ASM-OUTPUT-LIST)
(C$::PRISTATE->VERSION-OF-PRINT-ASM-INPUT)
(C$::PRISTATE->VERSION-OF-PRINT-ASM-INPUT-LIST)
(C$::PRISTATE->VERSION-OF-PRINT-ASM-STMT)
(C$::PRISTATE->VERSION-OF-PRINT-STMT)
(C$::PRISTATE->VERSION-OF-PRINT-COMP-STMT)
(C$::PRISTATE->VERSION-OF-PRINT-BLOCK-ITEM)
(C$::PRISTATE->VERSION-OF-PRINT-BLOCK-ITEM-LIST)
(C$::PRINT-EXPR
 (35109 154 (:DEFINITION C$::PRINT-EXPR))
 (1253 398 (:REWRITE C$::EXPR-UNAMBP-WHEN-STRING))
 (1253 398 (:REWRITE C$::EXPR-UNAMBP-WHEN-LABEL-ADDR))
 (1253 398 (:REWRITE C$::EXPR-UNAMBP-WHEN-IDENT))
 (1253 398 (:REWRITE C$::EXPR-UNAMBP-WHEN-CONST))
 (582 15 (:DEFINITION C$::PRINT-DIRABSDECLOR))
 (364 14 (:DEFINITION C$::PRINT-DIRDECLOR))
 (284 65 (:REWRITE C$::DIRABSDECLOR-AIDENTP-WHEN-DIRABSDECLOR-OPTION-AIDENTP-AND-NOT-NIL))
 (280 4 (:DEFINITION C$::PRINT-STMT))
 (259 89 (:REWRITE C$::STMT-UNAMBP-WHEN-ASM))
 (254 89 (:REWRITE C$::STMT-UNAMBP-WHEN-NULL-ATTRIB))
 (254 89 (:REWRITE C$::STMT-UNAMBP-WHEN-GOTO))
 (244 116 (:REWRITE C$::STMT-AIDENTP-WHEN-CONTINUE))
 (244 116 (:REWRITE C$::STMT-AIDENTP-WHEN-BREAK))
 (243 43 (:REWRITE C$::DIRABSDECLOR-OPTION-AIDENTP-WHEN-DIRABSDECLOR-AIDENTP))
 (242 38 (:DEFINITION C$::PRINT-TYNAME))
 (216 88 (:REWRITE C$::STMT-UNAMBP-WHEN-CONTINUE))
 (216 88 (:REWRITE C$::STMT-UNAMBP-WHEN-BREAK))
 (184 50 (:REWRITE C$::DIRABSDECLOR-UNAMBP-WHEN-DIRABSDECLOR-OPTION-UNAMBP-AND-NOT-NIL))
 (154 154 (:REWRITE-QUOTED-CONSTANT C$::EXPR-PRIORITY-FIX-UNDER-EXPR-PRIORITY-EQUIV))
 (145 29 (:REWRITE C$::DIRABSDECLOR-OPTION-UNAMBP-WHEN-DIRABSDECLOR-UNAMBP))
 (101 65 (:REWRITE C$::DIRABSDECLOR-AIDENTP-WHEN-DUMMY-BASE))
 (94 94 (:DEFINITION C$::PRINT-ASM-INPUT-LIST))
 (88 8 (:DEFINITION C$::PRINT-DECLON))
 (82 82 (:DEFINITION C$::PRINT-ASM-OUTPUT-LIST))
 (72 72 (:REWRITE C$::TYPE-SPECP-WHEN-MEMBER-EQUAL-OF-TYPE-SPEC-LISTP))
 (68 18 (:REWRITE C$::DIRDECLOR-UNAMBP-WHEN-IDENT))
 (52 9 (:REWRITE C$::IDENT-OPTION-AIDENTP-WHEN-IDENT-AIDENTP))
 (50 13 (:REWRITE C$::INITER-AIDENTP-WHEN-INITER-OPTION-AIDENTP-AND-NOT-NIL))
 (47 35 (:REWRITE C$::STRUCT-DECLON-AIDENTP-WHEN-EMPTY))
 (46 46 (:REWRITE C$::IDENT-LIST-AIDENTP-WHEN-ATOM))
 (44 8 (:REWRITE C$::INITER-OPTION-AIDENTP-WHEN-INITER-AIDENTP))
 (41 1 (:DEFINITION C$::PRINT-ASM-OUTPUT))
 (41 1 (:DEFINITION C$::PRINT-ASM-INPUT))
 (40 40 (:REWRITE C$::PRISTATE-FIX-UNDER-PRISTATE-EQUIV))
 (39 39 (:DEFINITION C$::PRINT-ATTRIB-SPEC-LIST))
 (39 3 (:DEFINITION C$::PRINT-STRUCT-DECLON))
 (36 6 (:REWRITE C$::MEMBER-DESIGNOR-UNAMBP-WHEN-IDENT))
 (33 21 (:REWRITE C$::STRUCT-DECLON-UNAMBP-WHEN-EMPTY))
 (30 10 (:DEFINITION C$::PRINT-DECLOR))
 (30 8 (:REWRITE C$::CONST-EXPR-AIDENTP-WHEN-CONST-EXPR-OPTION-AIDENTP-AND-NOT-NIL))
 (29 7 (:REWRITE C$::DECLOR-AIDENTP-WHEN-DECLOR-OPTION-AIDENTP-AND-NOT-NIL))
 (29 7 (:REWRITE C$::ABSDECLOR-AIDENTP-WHEN-ABSDECLOR-OPTION-AIDENTP-AND-NOT-NIL))
 (27 27 (:DEFINITION C$::PRINT-TYPEQUAL/ATTRIBSPEC-LIST))
 (27 5 (:REWRITE C$::CONST-EXPR-OPTION-AIDENTP-WHEN-CONST-EXPR-AIDENTP))
 (25 25 (:DEFINITION C$::PRINT-SPEC/QUAL-LIST))
 (25 5 (:DEFINITION C$::PRINT-MEMBER-DESIGNOR))
 (24 9 (:REWRITE C$::TYPE-SPEC-UNAMBP-WHEN-TYPEDEF))
 (24 9 (:REWRITE C$::TYPE-SPEC-UNAMBP-WHEN-SIGNED))
 (24 9 (:REWRITE C$::TYPE-SPEC-UNAMBP-WHEN-INT128))
 (24 6 (:REWRITE C$::DECLOR-UNAMBP-WHEN-DECLOR-OPTION-UNAMBP-AND-NOT-NIL))
 (24 6 (:REWRITE C$::ABSDECLOR-UNAMBP-WHEN-ABSDECLOR-OPTION-UNAMBP-AND-NOT-NIL))
 (22 22 (:REWRITE SUBSETP-TRANS2))
 (22 22 (:REWRITE SUBSETP-TRANS))
 (21 21 (:REWRITE C$::STRUCT-DECLON-LIST-AIDENTP-WHEN-ATOM))
 (20 20 (:REWRITE C$::ATTRIB-SPEC-LIST-AIDENTP-WHEN-ATOM))
 (20 11 (:REWRITE C$::EXPR-LIST-UNAMBP-WHEN-ATOM))
 (18 18 (:REWRITE C$::STRUCT-DECLON-LIST-UNAMBP-WHEN-ATOM))
 (18 18 (:DEFINITION C$::PRINT-STRUCT-DECLOR-LIST))
 (17 4 (:REWRITE C$::DECLOR-OPTION-AIDENTP-WHEN-DECLOR-AIDENTP))
 (17 4 (:REWRITE C$::ABSDECLOR-OPTION-AIDENTP-WHEN-ABSDECLOR-AIDENTP))
 (16 12 (:REWRITE C$::TYPE-SPEC-AIDENTP-WHEN-VOID))
 (16 12 (:REWRITE C$::TYPE-SPEC-AIDENTP-WHEN-UNSIGNED))
 (16 12 (:REWRITE C$::TYPE-SPEC-AIDENTP-WHEN-SHORT))
 (16 12 (:REWRITE C$::TYPE-SPEC-AIDENTP-WHEN-LONG))
 (16 12 (:REWRITE C$::TYPE-SPEC-AIDENTP-WHEN-LOCASE-FLOAT80))
 (16 12 (:REWRITE C$::TYPE-SPEC-AIDENTP-WHEN-LOCASE-FLOAT128))
 (16 12 (:REWRITE C$::TYPE-SPEC-AIDENTP-WHEN-INT))
 (16 12 (:REWRITE C$::TYPE-SPEC-AIDENTP-WHEN-FLOAT64X))
 (16 12 (:REWRITE C$::TYPE-SPEC-AIDENTP-WHEN-FLOAT64))
 (16 12 (:REWRITE C$::TYPE-SPEC-AIDENTP-WHEN-FLOAT32X))
 (16 12 (:REWRITE C$::TYPE-SPEC-AIDENTP-WHEN-FLOAT32))
 (16 12 (:REWRITE C$::TYPE-SPEC-AIDENTP-WHEN-FLOAT16X))
 (16 12 (:REWRITE C$::TYPE-SPEC-AIDENTP-WHEN-FLOAT16))
 (16 12 (:REWRITE C$::TYPE-SPEC-AIDENTP-WHEN-FLOAT128X))
 (16 12 (:REWRITE C$::TYPE-SPEC-AIDENTP-WHEN-FLOAT128))
 (16 12 (:REWRITE C$::TYPE-SPEC-AIDENTP-WHEN-FLOAT))
 (16 12 (:REWRITE C$::TYPE-SPEC-AIDENTP-WHEN-DOUBLE))
 (16 12 (:REWRITE C$::TYPE-SPEC-AIDENTP-WHEN-COMPLEX))
 (16 12 (:REWRITE C$::TYPE-SPEC-AIDENTP-WHEN-CHAR))
 (16 12 (:REWRITE C$::TYPE-SPEC-AIDENTP-WHEN-BUILTIN-VA-LIST))
 (16 12 (:REWRITE C$::TYPE-SPEC-AIDENTP-WHEN-BOOL))
 (16 12 (:REWRITE C$::TYPE-SPEC-AIDENTP-WHEN-AUTO-TYPE))
 (15 15 (:DEFINITION C$::PRINT-STRUCT-DECLON-LIST))
 (15 3 (:REWRITE C$::DECLOR-OPTION-UNAMBP-WHEN-DECLOR-UNAMBP))
 (15 3 (:REWRITE C$::ABSDECLOR-OPTION-UNAMBP-WHEN-ABSDECLOR-UNAMBP))
 (15 1 (:DEFINITION C$::PRINT-DECL-SPEC))
 (13 13 (:DEFINITION C$::PRINT-DECL-SPEC-LIST))
 (12 12 (:DEFINITION C$::PRINT-INIT-DECLOR-LIST))
 (12 6 (:DEFINITION C$::PRINT-STATASSERT))
 (12 2 (:REWRITE C$::SPEC/QUAL-UNAMBP-WHEN-TYPEQUAL))
 (12 2 (:REWRITE C$::LABEL-UNAMBP-WHEN-NAME))
 (11 11 (:REWRITE C$::STRUCT-DECLOR-LIST-AIDENTP-WHEN-ATOM))
 (11 11 (:REWRITE C$::ASM-INPUT-LIST-AIDENTP-WHEN-ATOM))
 (11 7 (:REWRITE C$::TYPE-SPEC-UNAMBP-WHEN-VOID))
 (11 7 (:REWRITE C$::TYPE-SPEC-UNAMBP-WHEN-UNSIGNED))
 (11 7 (:REWRITE C$::TYPE-SPEC-UNAMBP-WHEN-SHORT))
 (11 7 (:REWRITE C$::TYPE-SPEC-UNAMBP-WHEN-LONG))
 (11 7 (:REWRITE C$::TYPE-SPEC-UNAMBP-WHEN-LOCASE-FLOAT80))
 (11 7 (:REWRITE C$::TYPE-SPEC-UNAMBP-WHEN-LOCASE-FLOAT128))
 (11 7 (:REWRITE C$::TYPE-SPEC-UNAMBP-WHEN-INT))
 (11 7 (:REWRITE C$::TYPE-SPEC-UNAMBP-WHEN-FLOAT64X))
 (11 7 (:REWRITE C$::TYPE-SPEC-UNAMBP-WHEN-FLOAT64))
 (11 7 (:REWRITE C$::TYPE-SPEC-UNAMBP-WHEN-FLOAT32X))
 (11 7 (:REWRITE C$::TYPE-SPEC-UNAMBP-WHEN-FLOAT32))
 (11 7 (:REWRITE C$::TYPE-SPEC-UNAMBP-WHEN-FLOAT16X))
 (11 7 (:REWRITE C$::TYPE-SPEC-UNAMBP-WHEN-FLOAT16))
 (11 7 (:REWRITE C$::TYPE-SPEC-UNAMBP-WHEN-FLOAT128X))
 (11 7 (:REWRITE C$::TYPE-SPEC-UNAMBP-WHEN-FLOAT128))
 (11 7 (:REWRITE C$::TYPE-SPEC-UNAMBP-WHEN-FLOAT))
 (11 7 (:REWRITE C$::TYPE-SPEC-UNAMBP-WHEN-DOUBLE))
 (11 7 (:REWRITE C$::TYPE-SPEC-UNAMBP-WHEN-COMPLEX))
 (11 7 (:REWRITE C$::TYPE-SPEC-UNAMBP-WHEN-CHAR))
 (11 7 (:REWRITE C$::TYPE-SPEC-UNAMBP-WHEN-BUILTIN-VA-LIST))
 (11 7 (:REWRITE C$::TYPE-SPEC-UNAMBP-WHEN-BOOL))
 (11 7 (:REWRITE C$::TYPE-SPEC-UNAMBP-WHEN-AUTO-TYPE))
 (10 2 (:REWRITE C$::PARAM-DECLOR-UNAMBP-WHEN-NONE))
 (10 2 (:REWRITE C$::PARAM-DECLOR-AIDENTP-WHEN-NONE))
 (10 1 (:DEFINITION C$::PRINT-STRUCT-DECLOR))
 (10 1 (:DEFINITION C$::PRINT-PARAM-DECLOR))
 (9 1 (:DEFINITION C$::PRINT-LABEL))
 (9 1 (:DEFINITION C$::PRINT-ATTRIB))
 (8 8 (:REWRITE C$::STRUCT-DECLOR-LIST-UNAMBP-WHEN-ATOM))
 (8 8 (:DEFINITION C$::PRINT-PARAM-DECLON-LIST))
 (8 2 (:REWRITE C$::INITER-UNAMBP-WHEN-INITER-OPTION-UNAMBP-AND-NOT-NIL))
 (8 2 (:REWRITE C$::CONST-EXPR-UNAMBP-WHEN-CONST-EXPR-OPTION-UNAMBP-AND-NOT-NIL))
 (8 2 (:DEFINITION C$::PRINT-ATTRIB-SPEC))
 (7 7 (:REWRITE C$::TYPEQUAL/ATTRIBSPEC-LIST-LIST-AIDENTP-WHEN-ATOM))
 (7 7 (:REWRITE C$::INIT-DECLOR-LIST-AIDENTP-WHEN-ATOM))
 (7 7 (:REWRITE C$::ENUMER-LIST-AIDENTP-WHEN-ATOM))
 (7 7 (:DEFINITION C$::PRINT-EXPR-LIST))
 (7 7 (:DEFINITION C$::PRINT-DESINITER-LIST))
 (7 7 (:DEFINITION C$::PRINT-COMP-STMT))
 (7 1 (:DEFINITION C$::PRINT-SPEC/QUAL))
 (6 2 (:REWRITE C$::DECL-SPEC-AIDENTP-WHEN-STDCALL))
 (6 1 (:DEFINITION C$::PRINT-INIT-DECLOR))
 (6 1 (:DEFINITION C$::PRINT-BLOCK-ITEM))
 (5 5 (:REWRITE C$::PARAM-DECLON-LIST-UNAMBP-WHEN-ATOM))
 (5 5 (:REWRITE C$::PARAM-DECLON-LIST-AIDENTP-WHEN-ATOM))
 (5 5 (:REWRITE C$::ENUMER-LIST-UNAMBP-WHEN-ATOM))
 (5 5 (:REWRITE C$::DESINITER-LIST-UNAMBP-WHEN-ATOM))
 (5 5 (:REWRITE C$::DESINITER-LIST-AIDENTP-WHEN-ATOM))
 (5 5 (:REWRITE C$::ASM-OUTPUT-LIST-AIDENTP-WHEN-ATOM))
 (5 5 (:DEFINITION C$::PRINT-CONST-EXPR))
 (5 2 (:REWRITE C$::BLOCK-ITEM-LIST-UNAMBP-WHEN-ATOM))
 (5 2 (:REWRITE C$::BLOCK-ITEM-LIST-AIDENTP-WHEN-ATOM))
 (5 1 (:REWRITE C$::LABEL-UNAMBP-WHEN-DEFAULT))
 (5 1 (:REWRITE C$::LABEL-AIDENTP-WHEN-DEFAULT))
 (5 1 (:REWRITE C$::INITER-OPTION-UNAMBP-WHEN-INITER-UNAMBP))
 (5 1 (:REWRITE C$::DECL-SPEC-UNAMBP-WHEN-STDCALL))
 (5 1 (:REWRITE C$::CONST-EXPR-OPTION-UNAMBP-WHEN-CONST-EXPR-UNAMBP))
 (5 1 (:DEFINITION C$::PRINT-PARAM-DECLON))
 (5 1 (:DEFINITION C$::PRINT-DESIGNOR))
 (4 4 (:REWRITE C$::TYPEQUAL/ATTRIBSPEC-LIST-AIDENTP-WHEN-ATOM))
 (4 4 (:REWRITE C$::SPEC/QUAL-LIST-AIDENTP-WHEN-ATOM))
 (4 4 (:REWRITE C$::GENASSOC-LIST-UNAMBP-WHEN-ATOM))
 (4 4 (:REWRITE C$::GENASSOC-LIST-AIDENTP-WHEN-ATOM))
 (4 4 (:REWRITE C$::EXPR-LIST-AIDENTP-WHEN-ATOM))
 (4 4 (:REWRITE C$::DECL-SPEC-LIST-AIDENTP-WHEN-ATOM))
 (4 4 (:DEFINITION C$::PRINT-TYPEQUAL/ATTRIBSPEC-LIST-LIST))
 (4 4 (:DEFINITION C$::PRINT-ENUMER-LIST))
 (3 3 (:REWRITE C$::TYPEQUAL/ATTRIBSPEC-LIST-LISTP-WHEN-NOT-CONSP))
 (3 3 (:REWRITE C$::STRUCT-DECLON-LISTP-WHEN-NOT-CONSP))
 (3 3 (:DEFINITION C$::PRINT-GENASSOC-LIST))
 (3 3 (:DEFINITION C$::PRINT-ATTRIB-LIST))
 (3 1 (:DEFINITION C$::PRINT-TYPEQUAL/ATTRIBSPEC))
 (3 1 (:DEFINITION C$::PRINT-GENASSOC))
 (3 1 (:DEFINITION C$::PRINT-ENUMER))
 (2 2 (:REWRITE C$::DESIGNOR-LIST-UNAMBP-WHEN-ATOM))
 (2 2 (:REWRITE C$::DESIGNOR-LIST-AIDENTP-WHEN-ATOM))
 (2 2 (:REWRITE C$::ATTRIB-LIST-AIDENTP-WHEN-ATOM))
 (2 2 (:DEFINITION C$::PRINT-DESIGNOR-LIST))
 (2 1 (:DEFINITION C$::PRINT-DESINITER))
 (1 1 (:REWRITE C$::TYPEQUAL/ATTRIBSPEC-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE C$::STRUCT-DECLOR-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE C$::SPEC/QUAL-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE C$::SPEC/QUAL-LIST-UNAMBP-WHEN-ATOM))
 (1 1 (:REWRITE C$::PARAM-DECLON-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE C$::INIT-DECLOR-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE C$::INIT-DECLOR-LIST-UNAMBP-WHEN-ATOM))
 (1 1 (:REWRITE C$::GENASSOC-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE C$::EXPR-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE C$::ENUMER-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE C$::DESINITER-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE C$::DESIGNOR-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE C$::DECLON-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE C$::DECLON-LIST-UNAMBP-WHEN-ATOM))
 (1 1 (:REWRITE C$::DECLON-LIST-AIDENTP-WHEN-ATOM))
 (1 1 (:REWRITE C$::DECL-SPEC-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE C$::DECL-SPEC-LIST-UNAMBP-WHEN-ATOM))
 (1 1 (:REWRITE C$::BLOCK-ITEM-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE C$::ATTRIB-SPEC-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE C$::ATTRIB-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE C$::ASM-OUTPUT-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE C$::ASM-INPUT-LISTP-WHEN-NOT-CONSP))
 )
(C$::PRINT-FUNDEF
 (248 62 (:REWRITE C$::FUNDEF-UNAMBP-WHEN-FUNDEF-OPTION-UNAMBP-AND-NOT-NIL))
 (155 31 (:REWRITE C$::FUNDEF-OPTION-UNAMBP-WHEN-FUNDEF-UNAMBP))
 (93 93 (:TYPE-PRESCRIPTION C$::FUNDEF-OPTION-UNAMBP))
 (14 14 (:REWRITE C$::DECLON-LIST-AIDENTP-WHEN-ATOM))
 (9 2 (:REWRITE C$::DECLOR-AIDENTP-WHEN-DECLOR-OPTION-AIDENTP-AND-NOT-NIL))
 (6 1 (:REWRITE C$::DECLOR-OPTION-AIDENTP-WHEN-DECLOR-AIDENTP))
 (3 3 (:TYPE-PRESCRIPTION C$::DECLOR-OPTION-AIDENTP))
 (3 3 (:REWRITE C$::ATTRIB-SPEC-LIST-AIDENTP-WHEN-ATOM))
 (1 1 (:REWRITE C$::DECL-SPEC-LIST-AIDENTP-WHEN-ATOM))
 )
(C$::PRISTATEP-OF-PRINT-FUNDEF)
(C$::PRISTATE->VERSION-OF-PRINT-FUNDEF
 (6 2 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 (4 4 (:TYPE-PRESCRIPTION C$::PRISTATEP))
 )
(C$::PRINT-FUNDEF-OF-FUNDEF-FIX-FUNDEF
 (8 1 (:REWRITE C$::FUNDEF-FIX-WHEN-FUNDEFP))
 (6 2 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 (5 1 (:REWRITE C$::FUNDEFP-WHEN-FUNDEF-OPTIONP))
 (4 4 (:TYPE-PRESCRIPTION C$::PRISTATEP))
 (3 3 (:TYPE-PRESCRIPTION C$::FUNDEFP))
 (2 2 (:TYPE-PRESCRIPTION C$::FUNDEF-OPTIONP))
 (2 1 (:REWRITE C$::FUNDEF-OPTIONP-WHEN-FUNDEFP))
 )
(C$::PRINT-FUNDEF-FUNDEF-EQUIV-CONGRUENCE-ON-FUNDEF)
(C$::PRINT-FUNDEF-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-FUNDEF-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-EXT-DECLON
 (12 12 (:REWRITE C$::EXT-DECLONP-WHEN-MEMBER-EQUAL-OF-EXT-DECLON-LISTP))
 (6 2 (:REWRITE C$::EXT-DECLON-AIDENTP-WHEN-EMPTY))
 (5 1 (:REWRITE C$::EXT-DECLON-UNAMBP-WHEN-EMPTY))
 (4 1 (:DEFINITION EQ))
 )
(C$::PRISTATEP-OF-PRINT-EXT-DECLON)
(C$::PRISTATE->VERSION-OF-PRINT-EXT-DECLON)
(C$::PRINT-EXT-DECLON-OF-EXT-DECLON-FIX-EXTDECL
 (5 1 (:REWRITE C$::EXT-DECLON-FIX-WHEN-EXT-DECLONP))
 (2 2 (:TYPE-PRESCRIPTION C$::EXT-DECLONP))
 (2 2 (:REWRITE C$::EXT-DECLONP-WHEN-MEMBER-EQUAL-OF-EXT-DECLON-LISTP))
 (2 1 (:REWRITE C$::EXT-DECLON-FIX-WHEN-EMPTY))
 )
(C$::PRINT-EXT-DECLON-EXT-DECLON-EQUIV-CONGRUENCE-ON-EXTDECL)
(C$::PRINT-EXT-DECLON-OF-PRISTATE-FIX-PSTATE
 (3 1 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 (2 2 (:TYPE-PRESCRIPTION C$::PRISTATEP))
 )
(C$::PRINT-EXT-DECLON-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-INCLUDE-DIRECTIVE)
(C$::PRISTATEP-OF-PRINT-INCLUDE-DIRECTIVE)
(C$::PRISTATE->VERSION-OF-PRINT-INCLUDE-DIRECTIVE)
(C$::PRINT-INCLUDE-DIRECTIVE-OF-HEADER-NAME-FIX-HNAME)
(C$::PRINT-INCLUDE-DIRECTIVE-HEADER-NAME-EQUIV-CONGRUENCE-ON-HNAME)
(C$::PRINT-INCLUDE-DIRECTIVE-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-INCLUDE-DIRECTIVE-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-LINE-COMMENT)
(C$::PRISTATEP-OF-PRINT-LINE-COMMENT)
(C$::PRISTATE->VERSION-OF-PRINT-LINE-COMMENT
 (7 1 (:REWRITE NAT-LIST-FIX-WHEN-NAT-LISTP))
 (4 1 (:REWRITE C$::GRAMMAR-CHARACTER-LISTP-WHEN-NOT-CONSP))
 (2 2 (:TYPE-PRESCRIPTION NAT-LISTP))
 (2 2 (:TYPE-PRESCRIPTION NAT-LIST-FIX$INLINE))
 (2 2 (:REWRITE NAT-LISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE C$::GRAMMAR-CHARACTER-LISTP-WHEN-SUBSETP-EQUAL))
 (1 1 (:REWRITE NAT-LISTP-WHEN-UNSIGNED-BYTE-LISTP))
 (1 1 (:REWRITE NAT-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE CONSP-OF-NAT-LIST-FIX))
 )
(C$::PRINT-LINE-COMMENT-OF-NAT-LIST-FIX-CONTENT)
(C$::PRINT-LINE-COMMENT-NAT-LIST-EQUIV-CONGRUENCE-ON-CONTENT)
(C$::PRINT-LINE-COMMENT-OF-PRISTATE-FIX-PSTATE
 (8 2 (:REWRITE NAT-LIST-FIX-WHEN-NAT-LISTP))
 (5 2 (:REWRITE C$::GRAMMAR-CHARACTER-LISTP-WHEN-NOT-CONSP))
 (4 4 (:REWRITE C$::GRAMMAR-CHARACTER-LISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:TYPE-PRESCRIPTION NAT-LISTP))
 (2 2 (:REWRITE NAT-LISTP-WHEN-SUBSETP-EQUAL))
 (1 1 (:REWRITE NAT-LISTP-WHEN-UNSIGNED-BYTE-LISTP))
 (1 1 (:REWRITE NAT-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE CONSP-OF-NAT-LIST-FIX))
 )
(C$::PRINT-LINE-COMMENT-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-TRANS-ITEM
 (12 12 (:REWRITE C$::TRANS-ITEM-CASE-WHEN-MEMBER-EQUAL-OF-TRANS-ITEM-LIST-COMMENTP))
 (12 3 (:DEFINITION EQ))
 (10 10 (:REWRITE C$::TRANS-ITEMP-WHEN-MEMBER-EQUAL-OF-TRANS-ITEM-LISTP))
 (8 1 (:REWRITE C$::TRANS-ITEM-UNAMBP-WHEN-NOT-DECLON))
 (8 1 (:REWRITE C$::TRANS-ITEM-UNAMBP-WHEN-LINE-COMMENT))
 (6 1 (:REWRITE C$::EXT-DECLON-UNAMBP-WHEN-NOT-FUNDEF/DECLON))
 (2 2 (:REWRITE NAT-LISTP-WHEN-SUBSETP-EQUAL))
 )
(C$::PRISTATEP-OF-PRINT-TRANS-ITEM)
(C$::PRISTATE->VERSION-OF-PRINT-TRANS-ITEM
 (2 2 (:REWRITE C$::TRANS-ITEM-CASE-WHEN-MEMBER-EQUAL-OF-TRANS-ITEM-LIST-COMMENTP))
 )
(C$::PRINT-TRANS-ITEM-OF-TRANS-ITEM-FIX-ITEM
 (5 1 (:REWRITE C$::TRANS-ITEM-FIX-WHEN-TRANS-ITEMP))
 (4 4 (:REWRITE C$::TRANS-ITEM-CASE-WHEN-MEMBER-EQUAL-OF-TRANS-ITEM-LIST-COMMENTP))
 (2 2 (:TYPE-PRESCRIPTION C$::TRANS-ITEMP))
 (2 2 (:REWRITE C$::TRANS-ITEMP-WHEN-MEMBER-EQUAL-OF-TRANS-ITEM-LISTP))
 )
(C$::PRINT-TRANS-ITEM-TRANS-ITEM-EQUIV-CONGRUENCE-ON-ITEM)
(C$::PRINT-TRANS-ITEM-OF-PRISTATE-FIX-PSTATE
 (4 4 (:REWRITE C$::TRANS-ITEM-CASE-WHEN-MEMBER-EQUAL-OF-TRANS-ITEM-LIST-COMMENTP))
 (3 1 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 (2 2 (:TYPE-PRESCRIPTION C$::PRISTATEP))
 )
(C$::PRINT-TRANS-ITEM-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-TRANS-ITEM-LIST
 (14 1 (:REWRITE C$::TRANS-ITEM-UNAMBP-WHEN-LINE-COMMENT))
 (8 8 (:TYPE-PRESCRIPTION C$::TRANS-ITEM-KIND$INLINE))
 (8 1 (:REWRITE C$::TRANS-ITEM-UNAMBP-WHEN-NOT-DECLON))
 (6 1 (:REWRITE C$::TRANS-ITEM-CASE-OF-CAR-WHEN-TRANS-ITEM-LIST-COMMENTP))
 (4 4 (:REWRITE C$::TRANS-ITEM-CASE-WHEN-MEMBER-EQUAL-OF-TRANS-ITEM-LIST-COMMENTP))
 (2 2 (:REWRITE C$::TRANS-ITEM-LIST-COMMENTP-WHEN-SUBSETP-EQUAL))
 (1 1 (:REWRITE C$::TRANS-ITEM-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE C$::TRANS-ITEM-LIST-UNAMBP-WHEN-ATOM))
 (1 1 (:REWRITE C$::TRANS-ITEM-LIST-COMMENTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE C$::TRANS-ITEM-LIST-AIDENTP-WHEN-ATOM))
 (1 1 (:REWRITE SUBSETP-TRANS2))
 (1 1 (:REWRITE SUBSETP-TRANS))
 )
(C$::PRISTATEP-OF-PRINT-TRANS-ITEM-LIST
 (3 1 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 )
(C$::PRISTATE->VERSION-OF-PRINT-TRANS-ITEM-LIST)
(C$::PRINT-TRANS-ITEM-LIST-OF-TRANS-ITEM-LIST-FIX-ITEMS
 (359 43 (:REWRITE C$::TRANS-ITEM-LIST-FIX-WHEN-TRANS-ITEM-LISTP))
 (120 120 (:REWRITE C$::TRANS-ITEM-LISTP-WHEN-SUBSETP-EQUAL))
 (102 17 (:REWRITE C$::TRANS-ITEM-LISTP-OF-CDR-WHEN-TRANS-ITEM-LISTP))
 (60 60 (:REWRITE C$::TRANS-ITEM-LISTP-WHEN-NOT-CONSP))
 (6 2 (:REWRITE C$::PRISTATE-FIX-WHEN-PRISTATEP))
 (4 4 (:TYPE-PRESCRIPTION C$::PRISTATEP))
 )
(C$::PRINT-TRANS-ITEM-LIST-TRANS-ITEM-LIST-EQUIV-CONGRUENCE-ON-ITEMS)
(C$::PRINT-TRANS-ITEM-LIST-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-TRANS-ITEM-LIST-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-TRANSUNIT)
(C$::PRISTATEP-OF-PRINT-TRANSUNIT)
(C$::PRISTATE->VERSION-OF-PRINT-TRANSUNIT)
(C$::PRINT-TRANSUNIT-OF-TRANSUNIT-FIX-TUNIT)
(C$::PRINT-TRANSUNIT-TRANSUNIT-EQUIV-CONGRUENCE-ON-TUNIT)
(C$::PRINT-TRANSUNIT-OF-PRISTATE-FIX-PSTATE)
(C$::PRINT-TRANSUNIT-PRISTATE-EQUIV-CONGRUENCE-ON-PSTATE)
(C$::PRINT-FILE
 (6 6 (:TYPE-PRESCRIPTION C::VERSION-KIND$INLINE))
 (2 1 (:REWRITE C::VERSION-FIX-WHEN-C23+GCC))
 (2 1 (:REWRITE C::VERSION-FIX-WHEN-C23+CLANG))
 (2 1 (:REWRITE C::VERSION-FIX-WHEN-C23))
 (2 1 (:REWRITE C::VERSION-FIX-WHEN-C17+GCC))
 (2 1 (:REWRITE C::VERSION-FIX-WHEN-C17+CLANG))
 (2 1 (:REWRITE C::VERSION-FIX-WHEN-C17))
 )
(C$::BYTE-LISTP-OF-PRINT-FILE)
(C$::PRINT-FILE-OF-TRANSUNIT-FIX-TUNIT)
(C$::PRINT-FILE-TRANSUNIT-EQUIV-CONGRUENCE-ON-TUNIT)
(C$::PRINT-FILE-OF-PRIOPT-FIX-OPTIONS)
(C$::PRINT-FILE-PRIOPT-EQUIV-CONGRUENCE-ON-OPTIONS)
(C$::PRINT-FILE-OF-VERSION-FIX-VERSION)
(C$::PRINT-FILE-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::PRINT-FILEPATH-TRANSUNIT-MAP
 (6 3 (:TYPE-PRESCRIPTION OMAP::TAIL-WHEN-EMPTYP))
 )
(C$::FILEPATH-FILEDATA-MAPP-OF-PRINT-FILEPATH-TRANSUNIT-MAP
 (138 14 (:REWRITE OMAP::MAPP-NON-NIL-IMPLIES-NOT-EMPTYP))
 (35 7 (:REWRITE OMAP::MFIX-IMPLIES-MAPP))
 (32 8 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTYP))
 (24 8 (:REWRITE C$::MAPP-WHEN-FILEPATH-TRANSUNIT-MAPP))
 (24 8 (:REWRITE C$::MAPP-WHEN-FILEPATH-FILEDATA-MAPP))
 (21 1 (:REWRITE C$::FILEPATH-FIX-WHEN-FILEPATHP))
 (18 18 (:TYPE-PRESCRIPTION C$::FILEPATH-TRANSUNIT-MAPP))
 (14 14 (:TYPE-PRESCRIPTION OMAP::MFIX))
 (14 7 (:REWRITE OMAP::MFIX-WHEN-MAPP))
 (12 2 (:REWRITE C$::FILEPATHP-WHEN-FILEPATH-OPTIONP))
 (6 2 (:REWRITE C$::FILEPATH-OPTIONP-WHEN-FILEPATHP))
 (4 4 (:TYPE-PRESCRIPTION OMAP::HEAD-KEY-WHEN-EMPTYP))
 (4 4 (:TYPE-PRESCRIPTION C$::FILEPATH-OPTIONP))
 (3 1 (:REWRITE OMAP::UPDATE-WHEN-EMPTYP))
 (3 1 (:REWRITE C$::FILEPATHP-OF-HEAD-KEY-WHEN-FILEPATH-TRANSUNIT-MAPP))
 (3 1 (:REWRITE C$::FILEPATHP-OF-HEAD-KEY-WHEN-FILEPATH-FILEDATA-MAPP))
 (2 2 (:REWRITE C$::FILEPATHP-WHEN-IN-FILEPATH-SETP-BINDS-FREE-X))
 (2 2 (:REWRITE C$::FILEPATHP-WHEN-ASSOC-FILEPATH-TRANSUNIT-MAPP-BINDS-FREE-X))
 (2 2 (:REWRITE C$::FILEPATHP-WHEN-ASSOC-FILEPATH-FILEDATA-MAPP-BINDS-FREE-X))
 (1 1 (:REWRITE OMAP::TAIL-WHEN-EMPTYP))
 (1 1 (:REWRITE OMAP::HEAD-WHEN-EMPTYP-CHEAP))
 (1 1 (:REWRITE OMAP::HEAD-VALUE-WHEN-EMPTYP))
 (1 1 (:REWRITE OMAP::HEAD-KEY-WHEN-EMPTYP))
 )
(C$::PRINT-FILEPATH-TRANSUNIT-MAP
 (26 1 (:DEFINITION C$::PRINT-FILEPATH-TRANSUNIT-MAP))
 (10 4 (:REWRITE OMAP::MAPP-NON-NIL-IMPLIES-NOT-EMPTYP))
 (10 1 (:REWRITE C$::FILEPATH-FIX-WHEN-FILEPATHP))
 (5 5 (:REWRITE OMAP::TAIL-WHEN-EMPTYP))
 (5 3 (:TYPE-PRESCRIPTION OMAP::HEAD-KEY-WHEN-EMPTYP))
 (4 4 (:TYPE-PRESCRIPTION OMAP::TAIL-WHEN-EMPTYP))
 (3 1 (:REWRITE OMAP::UPDATE-WHEN-EMPTYP))
 (3 1 (:REWRITE C$::FILEPATH-TRANSUNIT-MAP-UNAMBP-WHEN-EMPTYP))
 (3 1 (:REWRITE C$::FILEPATH-TRANSUNIT-MAP-AIDENTP-WHEN-EMPTYP))
 (2 2 (:REWRITE OMAP::HEAD-WHEN-EMPTYP-CHEAP))
 (2 2 (:REWRITE OMAP::HEAD-VALUE-WHEN-EMPTYP))
 (2 2 (:REWRITE OMAP::HEAD-KEY-WHEN-EMPTYP))
 (2 2 (:REWRITE C$::FILEPATHP-WHEN-ASSOC-FILEPATH-TRANSUNIT-MAPP-BINDS-FREE-X))
 (1 1 (:TYPE-PRESCRIPTION OMAP::HEAD-VALUE-WHEN-EMPTYP))
 (1 1 (:TYPE-PRESCRIPTION C$::FILEPATHP))
 )
(C$::KEYS-OF-PRINT-FILEPATH-TRANSUNIT-MAP
 (121 110 (:TYPE-PRESCRIPTION OMAP::TAIL-WHEN-EMPTYP))
 (20 8 (:REWRITE OMAP::MAPP-NON-NIL-IMPLIES-NOT-EMPTYP))
 (12 3 (:REWRITE SET::INSERT-WHEN-EMPTYP))
 (10 10 (:REWRITE OMAP::TAIL-WHEN-EMPTYP))
 (10 6 (:TYPE-PRESCRIPTION OMAP::HEAD-KEY-WHEN-EMPTYP))
 (9 3 (:REWRITE OMAP::UPDATE-WHEN-EMPTYP))
 (9 3 (:REWRITE SET::INSERT-IDENTITY))
 (6 3 (:REWRITE OMAP::SET-EMPTYP-OF-KEYS))
 (6 2 (:REWRITE C$::MAPP-WHEN-FILEPATH-TRANSUNIT-MAPP))
 (5 5 (:REWRITE OMAP::HEAD-WHEN-EMPTYP-CHEAP))
 (5 5 (:REWRITE OMAP::HEAD-KEY-WHEN-EMPTYP))
 (3 3 (:TYPE-PRESCRIPTION SET::IN-TYPE))
 (3 3 (:TYPE-PRESCRIPTION SET::EMPTYP-TYPE))
 (3 3 (:REWRITE OMAP::HEAD-VALUE-WHEN-EMPTYP))
 (3 3 (:REWRITE OMAP::HEAD-KEY-NOT-IN-KEYS-OF-TAIL))
 (3 3 (:REWRITE C$::FILEPATHP-WHEN-ASSOC-FILEPATH-TRANSUNIT-MAPP-BINDS-FREE-X))
 )
(C$::PRINT-FILEPATH-TRANSUNIT-MAP-OF-PRIOPT-FIX-OPTIONS
 (103 9 (:REWRITE OMAP::MAPP-NON-NIL-IMPLIES-NOT-EMPTYP))
 (73 3 (:REWRITE C$::FILEPATH-FIX-WHEN-FILEPATHP))
 (24 24 (:TYPE-PRESCRIPTION C$::FILEPATH-TRANSUNIT-MAPP))
 (24 24 (:TYPE-PRESCRIPTION C$::FILEPATH-FILEDATA-MAPP))
 (24 7 (:REWRITE C$::MAPP-WHEN-FILEPATH-TRANSUNIT-MAPP))
 (24 7 (:REWRITE C$::MAPP-WHEN-FILEPATH-FILEDATA-MAPP))
 (20 4 (:REWRITE OMAP::MFIX-IMPLIES-MAPP))
 (19 3 (:REWRITE C$::FILEPATHP-WHEN-FILEPATH-OPTIONP))
 (17 17 (:TYPE-PRESCRIPTION OMAP::MAPP))
 (16 12 (:TYPE-PRESCRIPTION OMAP::HEAD-KEY-WHEN-EMPTYP))
 (14 6 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTYP))
 (12 3 (:REWRITE C$::FILEPATHP-OF-HEAD-KEY-WHEN-FILEPATH-TRANSUNIT-MAPP))
 (12 3 (:REWRITE C$::FILEPATHP-OF-HEAD-KEY-WHEN-FILEPATH-FILEDATA-MAPP))
 (10 3 (:REWRITE C$::FILEPATH-OPTIONP-WHEN-FILEPATHP))
 (9 9 (:TYPE-PRESCRIPTION C$::FILEPATHP))
 (9 3 (:REWRITE OMAP::UPDATE-WHEN-EMPTYP))
 (9 3 (:REWRITE C$::PRIOPT-FIX-WHEN-PRIOPTP))
 (8 8 (:TYPE-PRESCRIPTION OMAP::MFIX))
 (8 4 (:REWRITE OMAP::MFIX-WHEN-MAPP))
 (6 6 (:TYPE-PRESCRIPTION OMAP::TAIL-WHEN-EMPTYP))
 (6 6 (:TYPE-PRESCRIPTION C$::PRIOPTP))
 (6 6 (:TYPE-PRESCRIPTION C$::FILEPATH-OPTIONP))
 (6 2 (:REWRITE C$::FILEPATH-TRANSUNIT-MAPP-OF-TAIL))
 (6 2 (:REWRITE C$::FILEPATH-FILEDATA-MAPP-OF-TAIL))
 (3 3 (:REWRITE OMAP::TAIL-WHEN-EMPTYP))
 (3 3 (:REWRITE OMAP::HEAD-WHEN-EMPTYP-CHEAP))
 (3 3 (:REWRITE OMAP::HEAD-VALUE-WHEN-EMPTYP))
 (3 3 (:REWRITE OMAP::HEAD-KEY-WHEN-EMPTYP))
 (3 3 (:REWRITE C$::FILEPATHP-WHEN-IN-FILEPATH-SETP-BINDS-FREE-X))
 (3 3 (:REWRITE C$::FILEPATHP-WHEN-ASSOC-FILEPATH-TRANSUNIT-MAPP-BINDS-FREE-X))
 (3 3 (:REWRITE C$::FILEPATHP-WHEN-ASSOC-FILEPATH-FILEDATA-MAPP-BINDS-FREE-X))
 (1 1 (:REWRITE OMAP::MAPP-OF-TAIL))
 )
(C$::PRINT-FILEPATH-TRANSUNIT-MAP-PRIOPT-EQUIV-CONGRUENCE-ON-OPTIONS)
(C$::PRINT-FILEPATH-TRANSUNIT-MAP-OF-VERSION-FIX-VERSION
 (103 9 (:REWRITE OMAP::MAPP-NON-NIL-IMPLIES-NOT-EMPTYP))
 (73 3 (:REWRITE C$::FILEPATH-FIX-WHEN-FILEPATHP))
 (24 24 (:TYPE-PRESCRIPTION C$::FILEPATH-TRANSUNIT-MAPP))
 (24 24 (:TYPE-PRESCRIPTION C$::FILEPATH-FILEDATA-MAPP))
 (24 7 (:REWRITE C$::MAPP-WHEN-FILEPATH-TRANSUNIT-MAPP))
 (24 7 (:REWRITE C$::MAPP-WHEN-FILEPATH-FILEDATA-MAPP))
 (20 4 (:REWRITE OMAP::MFIX-IMPLIES-MAPP))
 (19 3 (:REWRITE C$::FILEPATHP-WHEN-FILEPATH-OPTIONP))
 (18 18 (:TYPE-PRESCRIPTION C::VERSION-KIND$INLINE))
 (17 17 (:TYPE-PRESCRIPTION OMAP::MAPP))
 (16 12 (:TYPE-PRESCRIPTION OMAP::HEAD-KEY-WHEN-EMPTYP))
 (14 6 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTYP))
 (12 3 (:REWRITE C$::FILEPATHP-OF-HEAD-KEY-WHEN-FILEPATH-TRANSUNIT-MAPP))
 (12 3 (:REWRITE C$::FILEPATHP-OF-HEAD-KEY-WHEN-FILEPATH-FILEDATA-MAPP))
 (10 3 (:REWRITE C$::FILEPATH-OPTIONP-WHEN-FILEPATHP))
 (9 9 (:TYPE-PRESCRIPTION C$::FILEPATHP))
 (9 3 (:REWRITE C::VERSION-FIX-WHEN-VERSIONP))
 (9 3 (:REWRITE OMAP::UPDATE-WHEN-EMPTYP))
 (8 8 (:TYPE-PRESCRIPTION OMAP::MFIX))
 (8 4 (:REWRITE OMAP::MFIX-WHEN-MAPP))
 (6 6 (:TYPE-PRESCRIPTION C::VERSIONP))
 (6 6 (:TYPE-PRESCRIPTION OMAP::TAIL-WHEN-EMPTYP))
 (6 6 (:TYPE-PRESCRIPTION C$::FILEPATH-OPTIONP))
 (6 3 (:REWRITE C::VERSION-FIX-WHEN-C23+GCC))
 (6 3 (:REWRITE C::VERSION-FIX-WHEN-C23+CLANG))
 (6 3 (:REWRITE C::VERSION-FIX-WHEN-C23))
 (6 3 (:REWRITE C::VERSION-FIX-WHEN-C17+GCC))
 (6 3 (:REWRITE C::VERSION-FIX-WHEN-C17+CLANG))
 (6 3 (:REWRITE C::VERSION-FIX-WHEN-C17))
 (6 2 (:REWRITE C$::FILEPATH-TRANSUNIT-MAPP-OF-TAIL))
 (6 2 (:REWRITE C$::FILEPATH-FILEDATA-MAPP-OF-TAIL))
 (3 3 (:REWRITE OMAP::TAIL-WHEN-EMPTYP))
 (3 3 (:REWRITE OMAP::HEAD-WHEN-EMPTYP-CHEAP))
 (3 3 (:REWRITE OMAP::HEAD-VALUE-WHEN-EMPTYP))
 (3 3 (:REWRITE OMAP::HEAD-KEY-WHEN-EMPTYP))
 (3 3 (:REWRITE C$::FILEPATHP-WHEN-IN-FILEPATH-SETP-BINDS-FREE-X))
 (3 3 (:REWRITE C$::FILEPATHP-WHEN-ASSOC-FILEPATH-TRANSUNIT-MAPP-BINDS-FREE-X))
 (3 3 (:REWRITE C$::FILEPATHP-WHEN-ASSOC-FILEPATH-FILEDATA-MAPP-BINDS-FREE-X))
 (1 1 (:REWRITE OMAP::MAPP-OF-TAIL))
 )
(C$::PRINT-FILEPATH-TRANSUNIT-MAP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::PRINT-FILESET)
(C$::FILESETP-OF-PRINT-FILESET)
(C$::KEYS-OF-PRINT-FILESET
 (4 2 (:REWRITE OMAP::KEYS-WHEN-EMPTYP))
 )
(C$::PRINT-FILESET-OF-TRANSUNIT-ENSEMBLE-FIX-TUNITS)
(C$::PRINT-FILESET-TRANSUNIT-ENSEMBLE-EQUIV-CONGRUENCE-ON-TUNITS)
(C$::PRINT-FILESET-OF-PRIOPT-FIX-OPTIONS)
(C$::PRINT-FILESET-PRIOPT-EQUIV-CONGRUENCE-ON-OPTIONS)
(C$::PRINT-FILESET-OF-VERSION-FIX-VERSION)
(C$::PRINT-FILESET-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
