(C$::ASCII-IDENT-STRINGP)
(C$::BOOLEANP-OF-ASCII-IDENT-STRINGP)
(C$::ASCII-IDENT-STRINGP-OF-VERSION-FIX-VERSION
 (6 6 (:TYPE-PRESCRIPTION C::VERSION-KIND$INLINE))
 (4 2 (:REWRITE MEMBER-WHEN-ATOM))
 (3 1 (:REWRITE C::VERSION-FIX-WHEN-VERSIONP))
 (2 2 (:TYPE-PRESCRIPTION C::VERSIONP))
 (2 2 (:TYPE-PRESCRIPTION C::KEYWORDS-FOR))
 (2 2 (:REWRITE SUBSETP-MEMBER . 4))
 (2 2 (:REWRITE SUBSETP-MEMBER . 3))
 (2 2 (:REWRITE SUBSETP-MEMBER . 2))
 (2 2 (:REWRITE SUBSETP-MEMBER . 1))
 (2 2 (:REWRITE INTERSECTP-MEMBER . 3))
 (2 2 (:REWRITE INTERSECTP-MEMBER . 2))
 (2 2 (:REWRITE STR::EXPLODE-WHEN-NOT-STRINGP))
 (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$::ASCII-IDENT-STRINGP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::IDENT-AIDENTP)
(C$::BOOLEANP-OF-IDENT-AIDENTP)
(C$::IDENT-AIDENTP)
(C$::IDENT-AIDENTP-OF-IDENT-FIX-IDENT)
(C$::IDENT-AIDENTP-IDENT-EQUIV-CONGRUENCE-ON-IDENT)
(C$::IDENT-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::IDENT-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::IDENT-LIST-AIDENTP)
(C$::BOOLEANP-OF-IDENT-LIST-AIDENTP)
(C$::IDENT-LIST-AIDENTP
 (15 2 (:REWRITE C$::IDENTP-WHEN-IDENT-OPTIONP))
 (12 1 (:REWRITE C$::IDENT-OPTIONP-WHEN-IDENTP))
 (4 4 (:REWRITE C$::IDENT-LISTP-WHEN-MEMBER-EQUAL-OF-IDENT-LIST-LISTP))
 (2 2 (:TYPE-PRESCRIPTION C$::IDENT-OPTIONP))
 (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))
 )
(C$::IDENT-LIST-AIDENTP-OF-IDENT-LIST-FIX-IDENT-LIST
 (261 26 (:REWRITE C$::IDENT-LIST-FIX-WHEN-IDENT-LISTP))
 (66 66 (:REWRITE C$::IDENT-LISTP-WHEN-SUBSETP-EQUAL))
 (66 66 (:REWRITE C$::IDENT-LISTP-WHEN-MEMBER-EQUAL-OF-IDENT-LIST-LISTP))
 (56 7 (:REWRITE C$::IDENT-LISTP-OF-CDR-WHEN-IDENT-LISTP))
 (33 33 (:REWRITE C$::IDENT-LISTP-WHEN-NOT-CONSP))
 (12 1 (:REWRITE C$::IDENT-FIX-WHEN-IDENTP))
 (6 1 (:REWRITE C$::IDENTP-WHEN-IDENT-OPTIONP))
 (3 3 (:TYPE-PRESCRIPTION C$::IDENTP))
 (2 2 (:TYPE-PRESCRIPTION C$::IDENT-OPTIONP))
 (2 2 (:REWRITE C$::IDENTP-WHEN-MEMBER-EQUAL-OF-IDENT-LISTP))
 (2 1 (:REWRITE C$::IDENT-OPTIONP-WHEN-IDENTP))
 (1 1 (:REWRITE C$::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (1 1 (:REWRITE C$::IDENT-OPTIONP-WHEN-IN-IDENT-OPTION-SETP-BINDS-FREE-X))
 )
(C$::IDENT-LIST-AIDENTP-IDENT-LIST-EQUIV-CONGRUENCE-ON-IDENT-LIST)
(C$::IDENT-LIST-AIDENTP-OF-VERSION-FIX-VERSION
 (24 24 (:TYPE-PRESCRIPTION C::VERSION-KIND$INLINE))
 (12 4 (:REWRITE C::VERSION-FIX-WHEN-VERSIONP))
 (8 8 (:TYPE-PRESCRIPTION C::VERSIONP))
 (8 4 (:REWRITE C::VERSION-FIX-WHEN-C23+GCC))
 (8 4 (:REWRITE C::VERSION-FIX-WHEN-C23+CLANG))
 (8 4 (:REWRITE C::VERSION-FIX-WHEN-C23))
 (8 4 (:REWRITE C::VERSION-FIX-WHEN-C17+GCC))
 (8 4 (:REWRITE C::VERSION-FIX-WHEN-C17+CLANG))
 (8 4 (:REWRITE C::VERSION-FIX-WHEN-C17))
 )
(C$::IDENT-LIST-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::IDENT-LIST-AIDENTP-WHEN-ATOM)
(C$::IDENT-LIST-AIDENTP-OF-CONS)
(C$::IDENT-LIST-AIDENTP-OF-APPEND
 (6 3 (:TYPE-PRESCRIPTION TRUE-LISTP-APPEND))
 (3 3 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (3 3 (:TYPE-PRESCRIPTION BINARY-APPEND))
 (3 3 (:REWRITE CDR-OF-APPEND-WHEN-CONSP))
 (3 3 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 )
(C$::IDENT-LIST-AIDENTP-OF-RCONS
 (3 3 (:REWRITE-QUOTED-CONSTANT C$::IDENT-LIST-FIX-UNDER-IDENT-LIST-EQUIV))
 (1 1 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (1 1 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 )
(C$::IDENT-AIDENTP-OF-CAR-WHEN-IDENT-LIST-AIDENTP)
(C$::IDENT-LIST-AIDENTP-OF-CDR-WHEN-IDENT-LIST-AIDENTP)
(C$::IDENT-LIST-LIST-AIDENTP)
(C$::BOOLEANP-OF-IDENT-LIST-LIST-AIDENTP)
(C$::IDENT-LIST-LIST-AIDENTP
 (1 1 (:REWRITE SUBSETP-TRANS2))
 (1 1 (:REWRITE SUBSETP-TRANS))
 (1 1 (:REWRITE C$::IDENT-LIST-LISTP-WHEN-NOT-CONSP))
 )
(C$::IDENT-LIST-LIST-AIDENTP-OF-IDENT-LIST-LIST-FIX-IDENT-LIST-LIST
 (195 26 (:REWRITE C$::IDENT-LIST-LIST-FIX-WHEN-IDENT-LIST-LISTP))
 (66 66 (:REWRITE C$::IDENT-LIST-LISTP-WHEN-SUBSETP-EQUAL))
 (42 7 (:REWRITE C$::IDENT-LIST-LISTP-OF-CDR-WHEN-IDENT-LIST-LISTP))
 (33 33 (:REWRITE C$::IDENT-LIST-LISTP-WHEN-NOT-CONSP))
 (8 1 (:REWRITE C$::IDENT-LIST-FIX-WHEN-IDENT-LISTP))
 (2 2 (:REWRITE C$::IDENT-LISTP-WHEN-SUBSETP-EQUAL))
 (2 2 (:REWRITE C$::IDENT-LISTP-WHEN-MEMBER-EQUAL-OF-IDENT-LIST-LISTP))
 (1 1 (:REWRITE C$::IDENT-LISTP-WHEN-NOT-CONSP))
 )
(C$::IDENT-LIST-LIST-AIDENTP-IDENT-LIST-LIST-EQUIV-CONGRUENCE-ON-IDENT-LIST-LIST)
(C$::IDENT-LIST-LIST-AIDENTP-OF-VERSION-FIX-VERSION
 (24 24 (:TYPE-PRESCRIPTION C::VERSION-KIND$INLINE))
 (12 4 (:REWRITE C::VERSION-FIX-WHEN-VERSIONP))
 (8 8 (:TYPE-PRESCRIPTION C::VERSIONP))
 (8 4 (:REWRITE C::VERSION-FIX-WHEN-C23+GCC))
 (8 4 (:REWRITE C::VERSION-FIX-WHEN-C23+CLANG))
 (8 4 (:REWRITE C::VERSION-FIX-WHEN-C23))
 (8 4 (:REWRITE C::VERSION-FIX-WHEN-C17+GCC))
 (8 4 (:REWRITE C::VERSION-FIX-WHEN-C17+CLANG))
 (8 4 (:REWRITE C::VERSION-FIX-WHEN-C17))
 )
(C$::IDENT-LIST-LIST-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::IDENT-LIST-LIST-AIDENTP-WHEN-ATOM)
(C$::IDENT-LIST-LIST-AIDENTP-OF-CONS)
(C$::IDENT-LIST-LIST-AIDENTP-OF-APPEND
 (6 3 (:TYPE-PRESCRIPTION TRUE-LISTP-APPEND))
 (3 3 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (3 3 (:TYPE-PRESCRIPTION BINARY-APPEND))
 (3 3 (:REWRITE CDR-OF-APPEND-WHEN-CONSP))
 (3 3 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 )
(C$::IDENT-LIST-LIST-AIDENTP-OF-RCONS
 (3 3 (:REWRITE-QUOTED-CONSTANT C$::IDENT-LIST-LIST-FIX-UNDER-IDENT-LIST-LIST-EQUIV))
 (1 1 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (1 1 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 )
(C$::IDENT-LIST-AIDENTP-OF-CAR-WHEN-IDENT-LIST-LIST-AIDENTP)
(C$::IDENT-LIST-LIST-AIDENTP-OF-CDR-WHEN-IDENT-LIST-LIST-AIDENTP)
(C$::IDENT-OPTION-AIDENTP)
(C$::BOOLEANP-OF-IDENT-OPTION-AIDENTP)
(C$::IDENT-OPTION-AIDENTP)
(C$::IDENT-OPTION-AIDENTP-OF-IDENT-OPTION-FIX-IDENT-OPTION
 (12 1 (:REWRITE C$::IDENT-OPTION-FIX-WHEN-IDENT-OPTIONP))
 (8 1 (:REWRITE C$::IDENT-OPTIONP-WHEN-IDENTP))
 (3 3 (:TYPE-PRESCRIPTION C$::IDENT-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION C$::IDENTP))
 (2 2 (:REWRITE C$::IDENTP-WHEN-MEMBER-EQUAL-OF-IDENT-LISTP))
 (2 1 (:REWRITE C$::IDENTP-WHEN-IDENT-OPTIONP))
 (1 1 (:REWRITE C$::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (1 1 (:REWRITE C$::IDENT-OPTIONP-WHEN-IN-IDENT-OPTION-SETP-BINDS-FREE-X))
 (1 1 (:REWRITE C$::IDENT-OPTION-FIX-WHEN-NONE))
 )
(C$::IDENT-OPTION-AIDENTP-IDENT-OPTION-EQUIV-CONGRUENCE-ON-IDENT-OPTION)
(C$::IDENT-OPTION-AIDENTP-OF-VERSION-FIX-VERSION
 (6 6 (:TYPE-PRESCRIPTION C::VERSION-KIND$INLINE))
 (3 1 (:REWRITE C::VERSION-FIX-WHEN-VERSIONP))
 (2 2 (:TYPE-PRESCRIPTION C::VERSIONP))
 (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$::IDENT-OPTION-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::IDENT-OPTION-AIDENTP-WHEN-IDENT-AIDENTP)
(C$::IDENT-AIDENTP-WHEN-IDENT-OPTION-AIDENTP-AND-NOT-NIL)
(C$::IDENT-AIDENTP-OF-IDENT-OPTION-SOME->VAL)
(C$::CONST-AIDENTP)
(C$::BOOLEANP-OF-CONST-AIDENTP)
(C$::CONST-AIDENTP)
(C$::CONST-AIDENTP-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$::CONST-AIDENTP-CONST-EQUIV-CONGRUENCE-ON-CONST)
(C$::CONST-AIDENTP-OF-VERSION-FIX-VERSION
 (6 6 (:TYPE-PRESCRIPTION C::VERSION-KIND$INLINE))
 (3 1 (:REWRITE C::VERSION-FIX-WHEN-VERSIONP))
 (2 2 (:TYPE-PRESCRIPTION C::VERSIONP))
 (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$::CONST-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::CONST-AIDENTP-OF-CONST-INT)
(C$::CONST-AIDENTP-OF-CONST-FLOAT)
(C$::CONST-AIDENTP-OF-CONST-ENUM)
(C$::IDENT-AIDENTP-OF-CONST-ENUM->IDENT)
(C$::CONST-AIDENTP-OF-CONST-CHAR)
(C$::ATTRIB-NAME-AIDENTP)
(C$::BOOLEANP-OF-ATTRIB-NAME-AIDENTP)
(C$::ATTRIB-NAME-AIDENTP)
(C$::ATTRIB-NAME-AIDENTP-OF-ATTRIB-NAME-FIX-ATTRIB-NAME
 (3 1 (:REWRITE C$::ATTRIB-NAME-FIX-WHEN-ATTRIB-NAMEP))
 (2 2 (:TYPE-PRESCRIPTION C$::ATTRIB-NAMEP))
 )
(C$::ATTRIB-NAME-AIDENTP-ATTRIB-NAME-EQUIV-CONGRUENCE-ON-ATTRIB-NAME)
(C$::ATTRIB-NAME-AIDENTP-OF-VERSION-FIX-VERSION
 (6 6 (:TYPE-PRESCRIPTION C::VERSION-KIND$INLINE))
 (3 1 (:REWRITE C::VERSION-FIX-WHEN-VERSIONP))
 (2 2 (:TYPE-PRESCRIPTION C::VERSIONP))
 (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$::ATTRIB-NAME-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::ATTRIB-NAME-AIDENTP-OF-ATTRIB-NAME-IDENT)
(C$::IDENT-AIDENTP-OF-ATTRIB-NAME-IDENT->IDENT)
(C$::ATTRIB-NAME-AIDENTP-OF-ATTRIB-NAME-KEYWORD)
(C$::EXPR-AIDENTP)
(C$::EXPRS/DECLS/STMTS-AIDENTP-FLAG)
(FLAG::FLAG-EQUIV-LEMMA)
(C$::EXPRS/DECLS/STMTS-AIDENTP-FLAG-EQUIVALENCES)
(C$::FLAG-LEMMA-FOR-RETURN-TYPE-OF-EXPR-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-EXPR-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-EXPR-LIST-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-EXPR-OPTION-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-CONST-EXPR-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-CONST-EXPR-OPTION-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-GENASSOC-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-GENASSOC-LIST-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-MEMBER-DESIGNOR-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-TYPE-SPEC-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-SPEC/QUAL-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-SPEC/QUAL-LIST-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-ALIGN-SPEC-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-DECL-SPEC-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-DECL-SPEC-LIST-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-TYPEQUAL/ATTRIBSPEC-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-TYPEQUAL/ATTRIBSPEC-LIST-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-TYPEQUAL/ATTRIBSPEC-LIST-LIST-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-INITER-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-INITER-OPTION-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-DESINITER-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-DESINITER-LIST-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-DESIGNOR-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-DESIGNOR-LIST-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-DECLOR-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-DECLOR-OPTION-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-DIRDECLOR-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-ABSDECLOR-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-ABSDECLOR-OPTION-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-DIRABSDECLOR-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-DIRABSDECLOR-OPTION-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-PARAM-DECLON-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-PARAM-DECLON-LIST-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-PARAM-DECLOR-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-TYNAME-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-STRUNI-SPEC-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-STRUCT-DECLON-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-STRUCT-DECLON-LIST-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-STRUCT-DECLOR-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-STRUCT-DECLOR-LIST-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-ENUM-SPEC-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-ENUMER-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-ENUMER-LIST-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-STATASSERT-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-ATTRIB-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-ATTRIB-LIST-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-ATTRIB-SPEC-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-ATTRIB-SPEC-LIST-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-INIT-DECLOR-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-INIT-DECLOR-LIST-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-DECLON-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-DECLON-LIST-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-LABEL-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-ASM-OUTPUT-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-ASM-OUTPUT-LIST-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-ASM-INPUT-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-ASM-INPUT-LIST-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-ASM-STMT-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-STMT-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-COMP-STMT-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-BLOCK-ITEM-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-BLOCK-ITEM-LIST-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-AMB-EXPR/TYNAME-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-AMB-DECLOR/ABSDECLOR-AIDENTP.RESULT)
(C$::RETURN-TYPE-OF-AMB-DECLON/STMT-AIDENTP.RESULT)
(C$::EXPR-AIDENTP
 (3888 48 (:DEFINITION C$::EXPR-AIDENTP))
 (648 27 (:DEFINITION C$::DIRDECLOR-AIDENTP))
 (324 6 (:DEFINITION C$::STMT-AIDENTP))
 (117 39 (:DEFINITION C$::EXPR-OPTION-AIDENTP))
 (78 21 (:DEFINITION C$::TYPEQUAL/ATTRIBSPEC-LIST-AIDENTP))
 (63 21 (:DEFINITION C$::DIRABSDECLOR-OPTION-AIDENTP))
 (48 12 (:DEFINITION C$::DECLON-AIDENTP))
 (45 3 (:DEFINITION C$::DECL-SPEC-AIDENTP))
 (42 6 (:DEFINITION C$::MEMBER-DESIGNOR-AIDENTP))
 (36 18 (:DEFINITION C$::AMB-EXPR/TYNAME-AIDENTP))
 (30 15 (:DEFINITION C$::TYNAME-AIDENTP))
 (22 22 (:REWRITE SUBSETP-TRANS2))
 (22 22 (:REWRITE SUBSETP-TRANS))
 (21 3 (:DEFINITION C$::STRUCT-DECLON-AIDENTP))
 (21 3 (:DEFINITION C$::SPEC/QUAL-AIDENTP))
 (21 3 (:DEFINITION C$::LABEL-AIDENTP))
 (18 18 (:TYPE-PRESCRIPTION C$::STMT-FOR-EXPR->INIT$INLINE))
 (18 9 (:DEFINITION C$::AMB-DECLON/STMT-AIDENTP))
 (15 3 (:DEFINITION C$::BLOCK-ITEM-AIDENTP))
 (13 2 (:REWRITE C$::INIT-DECLORP-WHEN-INIT-DECLOR-OPTIONP))
 (12 12 (:TYPE-PRESCRIPTION C$::STMT-FOR-EXPR->TEST$INLINE))
 (12 12 (:TYPE-PRESCRIPTION C$::STMT-FOR-DECLON->TEST$INLINE))
 (12 12 (:TYPE-PRESCRIPTION C$::STMT-FOR-AMBIG->TEST$INLINE))
 (12 12 (:TYPE-PRESCRIPTION C$::DIRABSDECLOR-ARRAY-STATIC2->DECLOR?$INLINE))
 (12 12 (:TYPE-PRESCRIPTION C$::DIRABSDECLOR-ARRAY-STATIC1->DECLOR?$INLINE))
 (12 12 (:TYPE-PRESCRIPTION C$::DIRABSDECLOR-ARRAY->DECLOR?$INLINE))
 (12 3 (:DEFINITION C$::GENASSOC-AIDENTP))
 (12 3 (:DEFINITION C$::DESIGNOR-AIDENTP))
 (12 3 (:DEFINITION C$::DECL-SPEC-LIST-AIDENTP))
 (12 3 (:DEFINITION C$::ATTRIB-AIDENTP))
 (11 1 (:REWRITE C$::INIT-DECLOR-OPTIONP-WHEN-INIT-DECLORP))
 (9 3 (:DEFINITION C$::TYPEQUAL/ATTRIBSPEC-AIDENTP))
 (9 3 (:DEFINITION C$::PARAM-DECLON-AIDENTP))
 (9 3 (:DEFINITION C$::INIT-DECLOR-AIDENTP))
 (6 6 (:TYPE-PRESCRIPTION C$::STMT-FOR-EXPR->NEXT$INLINE))
 (6 6 (:TYPE-PRESCRIPTION C$::STMT-FOR-DECLON->NEXT$INLINE))
 (6 6 (:TYPE-PRESCRIPTION C$::STMT-FOR-AMBIG->NEXT$INLINE))
 (6 6 (:TYPE-PRESCRIPTION C$::EXPR-COND->THEN$INLINE))
 (6 6 (:TYPE-PRESCRIPTION C$::DIRABSDECLOR-FUNCTION->DECLOR?$INLINE))
 (6 6 (:DEFINITION C$::ATTRIB-SPEC-AIDENTP))
 (6 3 (:DEFINITION C$::STRUCT-DECLOR-AIDENTP))
 (6 3 (:DEFINITION C$::ENUMER-AIDENTP))
 (6 3 (:DEFINITION C$::DESINITER-AIDENTP))
 (6 3 (:DEFINITION C$::ASM-OUTPUT-AIDENTP))
 (6 3 (:DEFINITION C$::ASM-INPUT-AIDENTP))
 (3 3 (:DEFINITION C$::CONST-EXPR-AIDENTP))
 (2 2 (:TYPE-PRESCRIPTION C$::INIT-DECLOR-OPTIONP))
 (1 1 (:REWRITE C$::TYPEQUAL/ATTRIBSPEC-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE C$::TYPEQUAL/ATTRIBSPEC-LIST-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE C$::STRUCT-DECLOR-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE C$::STRUCT-DECLON-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE C$::SPEC/QUAL-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE C$::PARAM-DECLON-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE C$::INIT-DECLOR-LISTP-WHEN-NOT-CONSP))
 (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$::DECL-SPEC-LISTP-WHEN-NOT-CONSP))
 (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$::FLAG-LEMMA-FOR-EXPR-AIDENTP-OF-EXPR-FIX-EXPR
 (4920 4920 (:TYPE-PRESCRIPTION C::VERSION-KIND$INLINE))
 (2460 820 (:REWRITE C::VERSION-FIX-WHEN-VERSIONP))
 (1640 1640 (:TYPE-PRESCRIPTION C::VERSIONP))
 (1640 820 (:REWRITE C::VERSION-FIX-WHEN-C23+GCC))
 (1640 820 (:REWRITE C::VERSION-FIX-WHEN-C23+CLANG))
 (1640 820 (:REWRITE C::VERSION-FIX-WHEN-C23))
 (1640 820 (:REWRITE C::VERSION-FIX-WHEN-C17+GCC))
 (1640 820 (:REWRITE C::VERSION-FIX-WHEN-C17+CLANG))
 (1640 820 (:REWRITE C::VERSION-FIX-WHEN-C17))
 (297 60 (:REWRITE C$::EXPRP-WHEN-EXPR-OPTIONP))
 (166 13 (:REWRITE C$::INIT-DECLOR-FIX-WHEN-INIT-DECLORP))
 (125 60 (:REWRITE C$::EXPR-OPTIONP-WHEN-EXPRP))
 (121 17 (:REWRITE C$::DECL-SPEC-FIX-WHEN-DECL-SPECP))
 (120 120 (:REWRITE C$::EXPRP-WHEN-MEMBER-EQUAL-OF-EXPR-LISTP))
 (108 12 (:REWRITE C$::TYPEQUAL/ATTRIBSPEC-FIX-WHEN-TYPEQUAL/ATTRIBSPEC-P))
 (107 20 (:REWRITE C$::DECLONP-WHEN-DECLON-OPTIONP))
 (106 14 (:REWRITE C$::STRUCT-DECLON-FIX-WHEN-STRUCT-DECLONP))
 (106 14 (:REWRITE C$::SPEC/QUAL-FIX-WHEN-SPEC/QUAL-P))
 (101 13 (:REWRITE C$::PARAM-DECLON-FIX-WHEN-PARAM-DECLONP))
 (101 13 (:REWRITE C$::GENASSOC-FIX-WHEN-GENASSOCP))
 (101 13 (:REWRITE C$::DESIGNOR-FIX-WHEN-DESIGNORP))
 (101 13 (:REWRITE C$::BLOCK-ITEM-FIX-WHEN-BLOCK-ITEMP))
 (101 13 (:REWRITE C$::ATTRIB-FIX-WHEN-ATTRIBP))
 (96 12 (:REWRITE C$::STRUCT-DECLOR-FIX-WHEN-STRUCT-DECLORP))
 (96 12 (:REWRITE C$::ENUMER-FIX-WHEN-ENUMERP))
 (96 12 (:REWRITE C$::DESINITER-FIX-WHEN-DESINITERP))
 (96 12 (:REWRITE C$::ASM-OUTPUT-FIX-WHEN-ASM-OUTPUTP))
 (96 12 (:REWRITE C$::ASM-INPUT-FIX-WHEN-ASM-INPUTP))
 (95 13 (:REWRITE C$::DECLON-LIST-FIX-WHEN-DECLON-LISTP))
 (67 14 (:REWRITE C$::DIRABSDECLORP-WHEN-DIRABSDECLOR-OPTIONP))
 (67 13 (:REWRITE C$::TYPE-SPECP-WHEN-TYPE-SPEC-OPTIONP))
 (65 13 (:REWRITE C$::INIT-DECLORP-WHEN-INIT-DECLOR-OPTIONP))
 (64 64 (:REWRITE C$::TYPEQUAL/ATTRIBSPEC-LISTP-WHEN-SUBSETP-EQUAL))
 (64 64 (:REWRITE C$::TYPEQUAL/ATTRIBSPEC-LISTP-WHEN-MEMBER-EQUAL-OF-TYPEQUAL/ATTRIBSPEC-LIST-LISTP))
 (52 27 (:REWRITE C$::EXPR-OPTION-FIX-WHEN-NONE))
 (48 48 (:REWRITE C$::BLOCK-ITEM-LISTP-WHEN-SUBSETP-EQUAL))
 (48 48 (:REWRITE C$::ATTRIB-SPEC-LISTP-WHEN-SUBSETP-EQUAL))
 (48 48 (:REWRITE C$::ATTRIB-LISTP-WHEN-SUBSETP-EQUAL))
 (48 48 (:REWRITE C$::ASM-OUTPUT-LISTP-WHEN-SUBSETP-EQUAL))
 (48 48 (:REWRITE C$::ASM-INPUT-LISTP-WHEN-SUBSETP-EQUAL))
 (48 6 (:REWRITE C$::TYPEQUAL/ATTRIBSPEC-P-OF-CAR-WHEN-TYPEQUAL/ATTRIBSPEC-LISTP))
 (47 20 (:REWRITE C$::DECLON-OPTIONP-WHEN-DECLONP))
 (44 44 (:REWRITE C$::TYPEQUAL/ATTRIBSPEC-LIST-LISTP-WHEN-SUBSETP-EQUAL))
 (44 44 (:REWRITE C$::STRUCT-DECLOR-LISTP-WHEN-SUBSETP-EQUAL))
 (44 44 (:REWRITE C$::STRUCT-DECLON-LISTP-WHEN-SUBSETP-EQUAL))
 (44 44 (:REWRITE C$::SPEC/QUAL-LISTP-WHEN-SUBSETP-EQUAL))
 (44 44 (:REWRITE C$::PARAM-DECLON-LISTP-WHEN-SUBSETP-EQUAL))
 (44 44 (:REWRITE C$::INIT-DECLOR-LISTP-WHEN-SUBSETP-EQUAL))
 (44 44 (:REWRITE C$::GENASSOC-LISTP-WHEN-SUBSETP-EQUAL))
 (44 44 (:REWRITE C$::EXPR-LISTP-WHEN-SUBSETP-EQUAL))
 (44 44 (:REWRITE C$::ENUMER-LISTP-WHEN-SUBSETP-EQUAL))
 (44 44 (:REWRITE C$::DESINITER-LISTP-WHEN-SUBSETP-EQUAL))
 (44 44 (:REWRITE C$::DESIGNOR-LISTP-WHEN-SUBSETP-EQUAL))
 (44 44 (:REWRITE C$::DECLON-LISTP-WHEN-SUBSETP-EQUAL))
 (44 44 (:REWRITE C$::DECL-SPEC-LISTP-WHEN-SUBSETP-EQUAL))
 (43 43 (:TYPE-PRESCRIPTION C$::DECLON-LISTP))
 (40 40 (:TYPE-PRESCRIPTION C$::DECLON-OPTIONP))
 (39 39 (:TYPE-PRESCRIPTION C$::INIT-DECLORP))
 (36 6 (:REWRITE C$::TYPEQUAL/ATTRIBSPEC-LISTP-OF-CAR-WHEN-TYPEQUAL/ATTRIBSPEC-LIST-LISTP))
 (36 6 (:REWRITE C$::STRUCT-DECLORP-OF-CAR-WHEN-STRUCT-DECLOR-LISTP))
 (36 6 (:REWRITE C$::STRUCT-DECLONP-OF-CAR-WHEN-STRUCT-DECLON-LISTP))
 (36 6 (:REWRITE C$::SPEC/QUAL-P-OF-CAR-WHEN-SPEC/QUAL-LISTP))
 (36 6 (:REWRITE C$::PARAM-DECLONP-OF-CAR-WHEN-PARAM-DECLON-LISTP))
 (36 6 (:REWRITE C$::INIT-DECLORP-OF-CAR-WHEN-INIT-DECLOR-LISTP))
 (36 6 (:REWRITE C$::GENASSOCP-OF-CAR-WHEN-GENASSOC-LISTP))
 (36 6 (:REWRITE C$::EXPRP-OF-CAR-WHEN-EXPR-LISTP))
 (36 6 (:REWRITE C$::ENUMERP-OF-CAR-WHEN-ENUMER-LISTP))
 (36 6 (:REWRITE C$::DESINITERP-OF-CAR-WHEN-DESINITER-LISTP))
 (36 6 (:REWRITE C$::DESIGNORP-OF-CAR-WHEN-DESIGNOR-LISTP))
 (36 6 (:REWRITE C$::DECLONP-OF-CAR-WHEN-DECLON-LISTP))
 (36 6 (:REWRITE C$::DECL-SPECP-OF-CAR-WHEN-DECL-SPEC-LISTP))
 (36 6 (:REWRITE C$::BLOCK-ITEMP-OF-CAR-WHEN-BLOCK-ITEM-LISTP))
 (36 6 (:REWRITE C$::ATTRIBP-OF-CAR-WHEN-ATTRIB-LISTP))
 (36 6 (:REWRITE C$::ATTRIB-SPECP-OF-CAR-WHEN-ATTRIB-SPEC-LISTP))
 (36 6 (:REWRITE C$::ASM-OUTPUTP-OF-CAR-WHEN-ASM-OUTPUT-LISTP))
 (36 6 (:REWRITE C$::ASM-INPUTP-OF-CAR-WHEN-ASM-INPUT-LISTP))
 (34 34 (:TYPE-PRESCRIPTION C$::DECL-SPECP))
 (34 34 (:REWRITE C$::DECL-SPECP-WHEN-MEMBER-EQUAL-OF-DECL-SPEC-LISTP))
 (32 32 (:REWRITE C$::TYPEQUAL/ATTRIBSPEC-LISTP-WHEN-NOT-CONSP))
 (31 14 (:REWRITE C$::DIRABSDECLOR-OPTIONP-WHEN-DIRABSDECLORP))
 (28 28 (:TYPE-PRESCRIPTION C$::STRUCT-DECLONP))
 (28 28 (:TYPE-PRESCRIPTION C$::SPEC/QUAL-P))
 (28 28 (:REWRITE C$::STRUCT-DECLONP-WHEN-MEMBER-EQUAL-OF-STRUCT-DECLON-LISTP))
 (28 28 (:REWRITE C$::SPEC/QUAL-P-WHEN-MEMBER-EQUAL-OF-SPEC/QUAL-LISTP))
 (28 15 (:REWRITE C$::DIRABSDECLOR-OPTION-FIX-WHEN-NONE))
 (28 13 (:REWRITE C$::TYPE-SPEC-OPTIONP-WHEN-TYPE-SPECP))
 (26 26 (:TYPE-PRESCRIPTION C$::TYPE-SPEC-OPTIONP))
 (26 26 (:TYPE-PRESCRIPTION C$::PARAM-DECLONP))
 (26 26 (:TYPE-PRESCRIPTION C$::INIT-DECLOR-OPTIONP))
 (26 26 (:TYPE-PRESCRIPTION C$::GENASSOCP))
 (26 26 (:TYPE-PRESCRIPTION C$::DESIGNORP))
 (26 26 (:TYPE-PRESCRIPTION C$::BLOCK-ITEMP))
 (26 26 (:TYPE-PRESCRIPTION C$::ATTRIBP))
 (26 26 (:REWRITE C$::TYPE-SPECP-WHEN-MEMBER-EQUAL-OF-TYPE-SPEC-LISTP))
 (26 26 (:REWRITE C$::PARAM-DECLONP-WHEN-MEMBER-EQUAL-OF-PARAM-DECLON-LISTP))
 (26 26 (:REWRITE C$::INIT-DECLORP-WHEN-MEMBER-EQUAL-OF-INIT-DECLOR-LISTP))
 (26 26 (:REWRITE C$::GENASSOCP-WHEN-MEMBER-EQUAL-OF-GENASSOC-LISTP))
 (26 26 (:REWRITE C$::DESIGNORP-WHEN-MEMBER-EQUAL-OF-DESIGNOR-LISTP))
 (26 26 (:REWRITE C$::DECLONP-WHEN-MEMBER-EQUAL-OF-DECLON-LISTP))
 (26 26 (:REWRITE C$::BLOCK-ITEMP-WHEN-MEMBER-EQUAL-OF-BLOCK-ITEM-LISTP))
 (26 26 (:REWRITE C$::ATTRIBP-WHEN-MEMBER-EQUAL-OF-ATTRIB-LISTP))
 (26 13 (:REWRITE C$::INIT-DECLOR-OPTIONP-WHEN-INIT-DECLORP))
 (24 24 (:TYPE-PRESCRIPTION C$::TYPEQUAL/ATTRIBSPEC-P))
 (24 24 (:TYPE-PRESCRIPTION C$::STRUCT-DECLORP))
 (24 24 (:TYPE-PRESCRIPTION C$::ENUMERP))
 (24 24 (:TYPE-PRESCRIPTION C$::DESINITERP))
 (24 24 (:TYPE-PRESCRIPTION C$::ASM-OUTPUTP))
 (24 24 (:TYPE-PRESCRIPTION C$::ASM-INPUTP))
 (24 24 (:REWRITE C$::TYPEQUAL/ATTRIBSPEC-P-WHEN-MEMBER-EQUAL-OF-TYPEQUAL/ATTRIBSPEC-LISTP))
 (24 24 (:REWRITE C$::STRUCT-DECLORP-WHEN-MEMBER-EQUAL-OF-STRUCT-DECLOR-LISTP))
 (24 24 (:REWRITE C$::ENUMERP-WHEN-MEMBER-EQUAL-OF-ENUMER-LISTP))
 (24 24 (:REWRITE C$::DESINITERP-WHEN-MEMBER-EQUAL-OF-DESINITER-LISTP))
 (24 24 (:REWRITE C$::BLOCK-ITEM-LISTP-WHEN-NOT-CONSP))
 (24 24 (:REWRITE C$::ATTRIB-SPEC-LISTP-WHEN-NOT-CONSP))
 (24 24 (:REWRITE C$::ATTRIB-LISTP-WHEN-NOT-CONSP))
 (24 24 (:REWRITE C$::ASM-OUTPUTP-WHEN-MEMBER-EQUAL-OF-ASM-OUTPUT-LISTP))
 (24 24 (:REWRITE C$::ASM-OUTPUT-LISTP-WHEN-NOT-CONSP))
 (24 24 (:REWRITE C$::ASM-INPUTP-WHEN-MEMBER-EQUAL-OF-ASM-INPUT-LISTP))
 (24 24 (:REWRITE C$::ASM-INPUT-LISTP-WHEN-NOT-CONSP))
 (24 3 (:REWRITE C$::TYPEQUAL/ATTRIBSPEC-LISTP-OF-CDR-WHEN-TYPEQUAL/ATTRIBSPEC-LISTP))
 (22 22 (:REWRITE C$::TYPEQUAL/ATTRIBSPEC-LIST-LISTP-WHEN-NOT-CONSP))
 (22 22 (:REWRITE C$::STRUCT-DECLOR-LISTP-WHEN-NOT-CONSP))
 (22 22 (:REWRITE C$::STRUCT-DECLON-LISTP-WHEN-NOT-CONSP))
 (22 22 (:REWRITE C$::SPEC/QUAL-LISTP-WHEN-NOT-CONSP))
 (22 22 (:REWRITE C$::PARAM-DECLON-LISTP-WHEN-NOT-CONSP))
 (22 22 (:REWRITE C$::INIT-DECLOR-LISTP-WHEN-NOT-CONSP))
 (22 22 (:REWRITE C$::GENASSOC-LISTP-WHEN-NOT-CONSP))
 (22 22 (:REWRITE C$::EXPR-LISTP-WHEN-NOT-CONSP))
 (22 22 (:REWRITE C$::ENUMER-LISTP-WHEN-NOT-CONSP))
 (22 22 (:REWRITE C$::DESINITER-LISTP-WHEN-NOT-CONSP))
 (22 22 (:REWRITE C$::DESIGNOR-LISTP-WHEN-NOT-CONSP))
 (22 22 (:REWRITE C$::DECLON-LISTP-WHEN-NOT-CONSP))
 (22 22 (:REWRITE C$::DECL-SPEC-LISTP-WHEN-NOT-CONSP))
 (22 22 (:REWRITE C$::ATTRIB-SPECP-WHEN-MEMBER-EQUAL-OF-ATTRIB-SPEC-LISTP))
 (18 3 (:REWRITE C$::TYPEQUAL/ATTRIBSPEC-LIST-LISTP-OF-CDR-WHEN-TYPEQUAL/ATTRIBSPEC-LIST-LISTP))
 (18 3 (:REWRITE C$::STRUCT-DECLOR-LISTP-OF-CDR-WHEN-STRUCT-DECLOR-LISTP))
 (18 3 (:REWRITE C$::STRUCT-DECLON-LISTP-OF-CDR-WHEN-STRUCT-DECLON-LISTP))
 (18 3 (:REWRITE C$::SPEC/QUAL-LISTP-OF-CDR-WHEN-SPEC/QUAL-LISTP))
 (18 3 (:REWRITE C$::PARAM-DECLON-LISTP-OF-CDR-WHEN-PARAM-DECLON-LISTP))
 (18 3 (:REWRITE C$::INIT-DECLOR-LISTP-OF-CDR-WHEN-INIT-DECLOR-LISTP))
 (18 3 (:REWRITE C$::GENASSOC-LISTP-OF-CDR-WHEN-GENASSOC-LISTP))
 (18 3 (:REWRITE C$::EXPR-LISTP-OF-CDR-WHEN-EXPR-LISTP))
 (18 3 (:REWRITE C$::ENUMER-LISTP-OF-CDR-WHEN-ENUMER-LISTP))
 (18 3 (:REWRITE C$::DESINITER-LISTP-OF-CDR-WHEN-DESINITER-LISTP))
 (18 3 (:REWRITE C$::DESIGNOR-LISTP-OF-CDR-WHEN-DESIGNOR-LISTP))
 (18 3 (:REWRITE C$::DECLON-LISTP-OF-CDR-WHEN-DECLON-LISTP))
 (18 3 (:REWRITE C$::DECL-SPEC-LISTP-OF-CDR-WHEN-DECL-SPEC-LISTP))
 (18 3 (:REWRITE C$::BLOCK-ITEM-LISTP-OF-CDR-WHEN-BLOCK-ITEM-LISTP))
 (18 3 (:REWRITE C$::ATTRIB-SPEC-LISTP-OF-CDR-WHEN-ATTRIB-SPEC-LISTP))
 (18 3 (:REWRITE C$::ATTRIB-LISTP-OF-CDR-WHEN-ATTRIB-LISTP))
 (18 3 (:REWRITE C$::ASM-OUTPUT-LISTP-OF-CDR-WHEN-ASM-OUTPUT-LISTP))
 (18 3 (:REWRITE C$::ASM-INPUT-LISTP-OF-CDR-WHEN-ASM-INPUT-LISTP))
 (17 17 (:TYPE-PRESCRIPTION C$::TYNAME->DECLOR?$INLINE))
 (17 17 (:TYPE-PRESCRIPTION C$::STRUCT-DECLOR->EXPR?$INLINE))
 (17 17 (:TYPE-PRESCRIPTION C$::STMT-RETURN->EXPR?$INLINE))
 (17 17 (:TYPE-PRESCRIPTION C$::STMT-EXPR->EXPR?$INLINE))
 (17 17 (:TYPE-PRESCRIPTION C$::LABEL-CASEXPR->RANGE?$INLINE))
 (17 17 (:TYPE-PRESCRIPTION C$::INIT-DECLOR->INITER?$INLINE))
 (17 17 (:TYPE-PRESCRIPTION C$::ENUMER->VALUE?$INLINE))
 (17 17 (:TYPE-PRESCRIPTION C$::DIRDECLOR-ARRAY->SIZE?$INLINE))
 (17 17 (:TYPE-PRESCRIPTION C$::DIRABSDECLOR-ARRAY-STAR->DECLOR?$INLINE))
 (17 17 (:TYPE-PRESCRIPTION C$::DIRABSDECLOR-ARRAY->SIZE?$INLINE))
 (17 17 (:TYPE-PRESCRIPTION C$::DESIGNOR-SUB->RANGE?$INLINE))
 (17 17 (:TYPE-PRESCRIPTION C$::ABSDECLOR->DIRECT?$INLINE))
 (12 3 (:REWRITE C$::INITERP-WHEN-INITER-OPTIONP))
 (12 3 (:REWRITE C$::DECLORP-WHEN-DECLOR-OPTIONP))
 (12 3 (:REWRITE C$::ABSDECLORP-WHEN-ABSDECLOR-OPTIONP))
 (10 6 (:REWRITE C$::CONST-EXPR-OPTION-FIX-WHEN-NONE))
 (9 3 (:REWRITE C$::INITER-OPTIONP-WHEN-INITERP))
 (9 3 (:REWRITE C$::DECLOR-OPTIONP-WHEN-DECLORP))
 (9 3 (:REWRITE C$::ABSDECLOR-OPTIONP-WHEN-ABSDECLORP))
 (7 2 (:REWRITE C$::CONST-EXPRP-WHEN-CONST-EXPR-OPTIONP))
 (7 2 (:REWRITE C$::CONST-EXPR-OPTIONP-WHEN-CONST-EXPRP))
 (6 4 (:REWRITE C$::DECLOR-OPTION-FIX-WHEN-NONE))
 (4 3 (:REWRITE C$::INITER-OPTION-FIX-WHEN-NONE))
 (4 3 (:REWRITE C$::ABSDECLOR-OPTION-FIX-WHEN-NONE))
 )
(C$::EXPR-AIDENTP-OF-EXPR-FIX-EXPR)
(C$::EXPR-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::EXPR-LIST-AIDENTP-OF-EXPR-LIST-FIX-EXPR-LIST)
(C$::EXPR-LIST-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::EXPR-OPTION-AIDENTP-OF-EXPR-OPTION-FIX-EXPR-OPTION)
(C$::EXPR-OPTION-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::CONST-EXPR-AIDENTP-OF-CONST-EXPR-FIX-CONST-EXPR)
(C$::CONST-EXPR-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::CONST-EXPR-OPTION-AIDENTP-OF-CONST-EXPR-OPTION-FIX-CONST-EXPR-OPTION)
(C$::CONST-EXPR-OPTION-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::GENASSOC-AIDENTP-OF-GENASSOC-FIX-GENASSOC)
(C$::GENASSOC-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::GENASSOC-LIST-AIDENTP-OF-GENASSOC-LIST-FIX-GENASSOC-LIST)
(C$::GENASSOC-LIST-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::MEMBER-DESIGNOR-AIDENTP-OF-MEMBER-DESIGNOR-FIX-MEMBER-DESIGNOR)
(C$::MEMBER-DESIGNOR-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::TYPE-SPEC-AIDENTP-OF-TYPE-SPEC-FIX-TYPE-SPEC)
(C$::TYPE-SPEC-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::SPEC/QUAL-AIDENTP-OF-SPEC/QUAL-FIX-SPEC/QUAL)
(C$::SPEC/QUAL-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::SPEC/QUAL-LIST-AIDENTP-OF-SPEC/QUAL-LIST-FIX-SPEC/QUAL-LIST)
(C$::SPEC/QUAL-LIST-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::ALIGN-SPEC-AIDENTP-OF-ALIGN-SPEC-FIX-ALIGN-SPEC)
(C$::ALIGN-SPEC-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::DECL-SPEC-AIDENTP-OF-DECL-SPEC-FIX-DECL-SPEC)
(C$::DECL-SPEC-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::DECL-SPEC-LIST-AIDENTP-OF-DECL-SPEC-LIST-FIX-DECL-SPEC-LIST)
(C$::DECL-SPEC-LIST-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::TYPEQUAL/ATTRIBSPEC-AIDENTP-OF-TYPEQUAL/ATTRIBSPEC-FIX-TYPEQUAL/ATTRIBSPEC)
(C$::TYPEQUAL/ATTRIBSPEC-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::TYPEQUAL/ATTRIBSPEC-LIST-AIDENTP-OF-TYPEQUAL/ATTRIBSPEC-LIST-FIX-TYPEQUAL/ATTRIBSPEC-LIST)
(C$::TYPEQUAL/ATTRIBSPEC-LIST-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::TYPEQUAL/ATTRIBSPEC-LIST-LIST-AIDENTP-OF-TYPEQUAL/ATTRIBSPEC-LIST-LIST-FIX-TYPEQUAL/ATTRIBSPEC-LIST-LIST)
(C$::TYPEQUAL/ATTRIBSPEC-LIST-LIST-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::INITER-AIDENTP-OF-INITER-FIX-INITER)
(C$::INITER-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::INITER-OPTION-AIDENTP-OF-INITER-OPTION-FIX-INITER-OPTION)
(C$::INITER-OPTION-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::DESINITER-AIDENTP-OF-DESINITER-FIX-DESINITER)
(C$::DESINITER-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::DESINITER-LIST-AIDENTP-OF-DESINITER-LIST-FIX-DESINITER-LIST)
(C$::DESINITER-LIST-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::DESIGNOR-AIDENTP-OF-DESIGNOR-FIX-DESIGNOR)
(C$::DESIGNOR-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::DESIGNOR-LIST-AIDENTP-OF-DESIGNOR-LIST-FIX-DESIGNOR-LIST)
(C$::DESIGNOR-LIST-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::DECLOR-AIDENTP-OF-DECLOR-FIX-DECLOR)
(C$::DECLOR-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::DECLOR-OPTION-AIDENTP-OF-DECLOR-OPTION-FIX-DECLOR-OPTION)
(C$::DECLOR-OPTION-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::DIRDECLOR-AIDENTP-OF-DIRDECLOR-FIX-DIRDECLOR)
(C$::DIRDECLOR-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::ABSDECLOR-AIDENTP-OF-ABSDECLOR-FIX-ABSDECLOR)
(C$::ABSDECLOR-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::ABSDECLOR-OPTION-AIDENTP-OF-ABSDECLOR-OPTION-FIX-ABSDECLOR-OPTION)
(C$::ABSDECLOR-OPTION-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::DIRABSDECLOR-AIDENTP-OF-DIRABSDECLOR-FIX-DIRABSDECLOR)
(C$::DIRABSDECLOR-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::DIRABSDECLOR-OPTION-AIDENTP-OF-DIRABSDECLOR-OPTION-FIX-DIRABSDECLOR-OPTION)
(C$::DIRABSDECLOR-OPTION-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::PARAM-DECLON-AIDENTP-OF-PARAM-DECLON-FIX-PARAM-DECLON)
(C$::PARAM-DECLON-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::PARAM-DECLON-LIST-AIDENTP-OF-PARAM-DECLON-LIST-FIX-PARAM-DECLON-LIST)
(C$::PARAM-DECLON-LIST-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::PARAM-DECLOR-AIDENTP-OF-PARAM-DECLOR-FIX-PARAM-DECLOR)
(C$::PARAM-DECLOR-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::TYNAME-AIDENTP-OF-TYNAME-FIX-TYNAME)
(C$::TYNAME-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::STRUNI-SPEC-AIDENTP-OF-STRUNI-SPEC-FIX-STRUNI-SPEC)
(C$::STRUNI-SPEC-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::STRUCT-DECLON-AIDENTP-OF-STRUCT-DECLON-FIX-STRUCT-DECLON)
(C$::STRUCT-DECLON-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::STRUCT-DECLON-LIST-AIDENTP-OF-STRUCT-DECLON-LIST-FIX-STRUCT-DECLON-LIST)
(C$::STRUCT-DECLON-LIST-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::STRUCT-DECLOR-AIDENTP-OF-STRUCT-DECLOR-FIX-STRUCT-DECLOR)
(C$::STRUCT-DECLOR-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::STRUCT-DECLOR-LIST-AIDENTP-OF-STRUCT-DECLOR-LIST-FIX-STRUCT-DECLOR-LIST)
(C$::STRUCT-DECLOR-LIST-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::ENUM-SPEC-AIDENTP-OF-ENUM-SPEC-FIX-ENUM-SPEC)
(C$::ENUM-SPEC-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::ENUMER-AIDENTP-OF-ENUMER-FIX-ENUMER)
(C$::ENUMER-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::ENUMER-LIST-AIDENTP-OF-ENUMER-LIST-FIX-ENUMER-LIST)
(C$::ENUMER-LIST-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::STATASSERT-AIDENTP-OF-STATASSERT-FIX-STATASSERT)
(C$::STATASSERT-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::ATTRIB-AIDENTP-OF-ATTRIB-FIX-ATTRIB)
(C$::ATTRIB-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::ATTRIB-LIST-AIDENTP-OF-ATTRIB-LIST-FIX-ATTRIB-LIST)
(C$::ATTRIB-LIST-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::ATTRIB-SPEC-AIDENTP-OF-ATTRIB-SPEC-FIX-ATTRIB-SPEC)
(C$::ATTRIB-SPEC-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::ATTRIB-SPEC-LIST-AIDENTP-OF-ATTRIB-SPEC-LIST-FIX-ATTRIB-SPEC-LIST)
(C$::ATTRIB-SPEC-LIST-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::INIT-DECLOR-AIDENTP-OF-INIT-DECLOR-FIX-INIT-DECLOR)
(C$::INIT-DECLOR-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::INIT-DECLOR-LIST-AIDENTP-OF-INIT-DECLOR-LIST-FIX-INIT-DECLOR-LIST)
(C$::INIT-DECLOR-LIST-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::DECLON-AIDENTP-OF-DECLON-FIX-DECLON)
(C$::DECLON-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::DECLON-LIST-AIDENTP-OF-DECLON-LIST-FIX-DECLON-LIST)
(C$::DECLON-LIST-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::LABEL-AIDENTP-OF-LABEL-FIX-LABEL)
(C$::LABEL-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::ASM-OUTPUT-AIDENTP-OF-ASM-OUTPUT-FIX-ASM-OUTPUT)
(C$::ASM-OUTPUT-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::ASM-OUTPUT-LIST-AIDENTP-OF-ASM-OUTPUT-LIST-FIX-ASM-OUTPUT-LIST)
(C$::ASM-OUTPUT-LIST-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::ASM-INPUT-AIDENTP-OF-ASM-INPUT-FIX-ASM-INPUT)
(C$::ASM-INPUT-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::ASM-INPUT-LIST-AIDENTP-OF-ASM-INPUT-LIST-FIX-ASM-INPUT-LIST)
(C$::ASM-INPUT-LIST-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::ASM-STMT-AIDENTP-OF-ASM-STMT-FIX-ASM-STMT)
(C$::ASM-STMT-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::STMT-AIDENTP-OF-STMT-FIX-STMT)
(C$::STMT-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::COMP-STMT-AIDENTP-OF-COMP-STMT-FIX-COMP-STMT)
(C$::COMP-STMT-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::BLOCK-ITEM-AIDENTP-OF-BLOCK-ITEM-FIX-BLOCK-ITEM)
(C$::BLOCK-ITEM-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::BLOCK-ITEM-LIST-AIDENTP-OF-BLOCK-ITEM-LIST-FIX-BLOCK-ITEM-LIST)
(C$::BLOCK-ITEM-LIST-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::AMB-EXPR/TYNAME-AIDENTP-OF-AMB-EXPR/TYNAME-FIX-AMB-EXPR/TYNAME)
(C$::AMB-EXPR/TYNAME-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::AMB-DECLOR/ABSDECLOR-AIDENTP-OF-AMB-DECLOR/ABSDECLOR-FIX-AMB-DECLOR/ABSDECLOR)
(C$::AMB-DECLOR/ABSDECLOR-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::AMB-DECLON/STMT-AIDENTP-OF-AMB-DECLON/STMT-FIX-AMB-DECLON/STMT)
(C$::AMB-DECLON/STMT-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::EXPR-AIDENTP-EXPR-EQUIV-CONGRUENCE-ON-EXPR)
(C$::EXPR-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::EXPR-LIST-AIDENTP-EXPR-LIST-EQUIV-CONGRUENCE-ON-EXPR-LIST)
(C$::EXPR-LIST-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::EXPR-OPTION-AIDENTP-EXPR-OPTION-EQUIV-CONGRUENCE-ON-EXPR-OPTION)
(C$::EXPR-OPTION-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::CONST-EXPR-AIDENTP-CONST-EXPR-EQUIV-CONGRUENCE-ON-CONST-EXPR)
(C$::CONST-EXPR-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::CONST-EXPR-OPTION-AIDENTP-CONST-EXPR-OPTION-EQUIV-CONGRUENCE-ON-CONST-EXPR-OPTION)
(C$::CONST-EXPR-OPTION-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::GENASSOC-AIDENTP-GENASSOC-EQUIV-CONGRUENCE-ON-GENASSOC)
(C$::GENASSOC-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::GENASSOC-LIST-AIDENTP-GENASSOC-LIST-EQUIV-CONGRUENCE-ON-GENASSOC-LIST)
(C$::GENASSOC-LIST-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::MEMBER-DESIGNOR-AIDENTP-MEMBER-DESIGNOR-EQUIV-CONGRUENCE-ON-MEMBER-DESIGNOR)
(C$::MEMBER-DESIGNOR-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::TYPE-SPEC-AIDENTP-TYPE-SPEC-EQUIV-CONGRUENCE-ON-TYPE-SPEC)
(C$::TYPE-SPEC-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::SPEC/QUAL-AIDENTP-SPEC/QUAL-EQUIV-CONGRUENCE-ON-SPEC/QUAL)
(C$::SPEC/QUAL-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::SPEC/QUAL-LIST-AIDENTP-SPEC/QUAL-LIST-EQUIV-CONGRUENCE-ON-SPEC/QUAL-LIST)
(C$::SPEC/QUAL-LIST-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::ALIGN-SPEC-AIDENTP-ALIGN-SPEC-EQUIV-CONGRUENCE-ON-ALIGN-SPEC)
(C$::ALIGN-SPEC-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::DECL-SPEC-AIDENTP-DECL-SPEC-EQUIV-CONGRUENCE-ON-DECL-SPEC)
(C$::DECL-SPEC-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::DECL-SPEC-LIST-AIDENTP-DECL-SPEC-LIST-EQUIV-CONGRUENCE-ON-DECL-SPEC-LIST)
(C$::DECL-SPEC-LIST-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::TYPEQUAL/ATTRIBSPEC-AIDENTP-TYPEQUAL/ATTRIBSPEC-EQUIV-CONGRUENCE-ON-TYPEQUAL/ATTRIBSPEC)
(C$::TYPEQUAL/ATTRIBSPEC-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::TYPEQUAL/ATTRIBSPEC-LIST-AIDENTP-TYPEQUAL/ATTRIBSPEC-LIST-EQUIV-CONGRUENCE-ON-TYPEQUAL/ATTRIBSPEC-LIST)
(C$::TYPEQUAL/ATTRIBSPEC-LIST-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::TYPEQUAL/ATTRIBSPEC-LIST-LIST-AIDENTP-TYPEQUAL/ATTRIBSPEC-LIST-LIST-EQUIV-CONGRUENCE-ON-TYPEQUAL/ATTRIBSPEC-LIST-LIST)
(C$::TYPEQUAL/ATTRIBSPEC-LIST-LIST-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::INITER-AIDENTP-INITER-EQUIV-CONGRUENCE-ON-INITER)
(C$::INITER-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::INITER-OPTION-AIDENTP-INITER-OPTION-EQUIV-CONGRUENCE-ON-INITER-OPTION)
(C$::INITER-OPTION-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::DESINITER-AIDENTP-DESINITER-EQUIV-CONGRUENCE-ON-DESINITER)
(C$::DESINITER-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::DESINITER-LIST-AIDENTP-DESINITER-LIST-EQUIV-CONGRUENCE-ON-DESINITER-LIST)
(C$::DESINITER-LIST-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::DESIGNOR-AIDENTP-DESIGNOR-EQUIV-CONGRUENCE-ON-DESIGNOR)
(C$::DESIGNOR-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::DESIGNOR-LIST-AIDENTP-DESIGNOR-LIST-EQUIV-CONGRUENCE-ON-DESIGNOR-LIST)
(C$::DESIGNOR-LIST-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::DECLOR-AIDENTP-DECLOR-EQUIV-CONGRUENCE-ON-DECLOR)
(C$::DECLOR-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::DECLOR-OPTION-AIDENTP-DECLOR-OPTION-EQUIV-CONGRUENCE-ON-DECLOR-OPTION)
(C$::DECLOR-OPTION-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::DIRDECLOR-AIDENTP-DIRDECLOR-EQUIV-CONGRUENCE-ON-DIRDECLOR)
(C$::DIRDECLOR-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::ABSDECLOR-AIDENTP-ABSDECLOR-EQUIV-CONGRUENCE-ON-ABSDECLOR)
(C$::ABSDECLOR-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::ABSDECLOR-OPTION-AIDENTP-ABSDECLOR-OPTION-EQUIV-CONGRUENCE-ON-ABSDECLOR-OPTION)
(C$::ABSDECLOR-OPTION-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::DIRABSDECLOR-AIDENTP-DIRABSDECLOR-EQUIV-CONGRUENCE-ON-DIRABSDECLOR)
(C$::DIRABSDECLOR-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::DIRABSDECLOR-OPTION-AIDENTP-DIRABSDECLOR-OPTION-EQUIV-CONGRUENCE-ON-DIRABSDECLOR-OPTION)
(C$::DIRABSDECLOR-OPTION-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::PARAM-DECLON-AIDENTP-PARAM-DECLON-EQUIV-CONGRUENCE-ON-PARAM-DECLON)
(C$::PARAM-DECLON-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::PARAM-DECLON-LIST-AIDENTP-PARAM-DECLON-LIST-EQUIV-CONGRUENCE-ON-PARAM-DECLON-LIST)
(C$::PARAM-DECLON-LIST-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::PARAM-DECLOR-AIDENTP-PARAM-DECLOR-EQUIV-CONGRUENCE-ON-PARAM-DECLOR)
(C$::PARAM-DECLOR-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::TYNAME-AIDENTP-TYNAME-EQUIV-CONGRUENCE-ON-TYNAME)
(C$::TYNAME-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::STRUNI-SPEC-AIDENTP-STRUNI-SPEC-EQUIV-CONGRUENCE-ON-STRUNI-SPEC)
(C$::STRUNI-SPEC-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::STRUCT-DECLON-AIDENTP-STRUCT-DECLON-EQUIV-CONGRUENCE-ON-STRUCT-DECLON)
(C$::STRUCT-DECLON-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::STRUCT-DECLON-LIST-AIDENTP-STRUCT-DECLON-LIST-EQUIV-CONGRUENCE-ON-STRUCT-DECLON-LIST)
(C$::STRUCT-DECLON-LIST-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::STRUCT-DECLOR-AIDENTP-STRUCT-DECLOR-EQUIV-CONGRUENCE-ON-STRUCT-DECLOR)
(C$::STRUCT-DECLOR-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::STRUCT-DECLOR-LIST-AIDENTP-STRUCT-DECLOR-LIST-EQUIV-CONGRUENCE-ON-STRUCT-DECLOR-LIST)
(C$::STRUCT-DECLOR-LIST-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::ENUM-SPEC-AIDENTP-ENUM-SPEC-EQUIV-CONGRUENCE-ON-ENUM-SPEC)
(C$::ENUM-SPEC-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::ENUMER-AIDENTP-ENUMER-EQUIV-CONGRUENCE-ON-ENUMER)
(C$::ENUMER-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::ENUMER-LIST-AIDENTP-ENUMER-LIST-EQUIV-CONGRUENCE-ON-ENUMER-LIST)
(C$::ENUMER-LIST-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::STATASSERT-AIDENTP-STATASSERT-EQUIV-CONGRUENCE-ON-STATASSERT)
(C$::STATASSERT-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::ATTRIB-AIDENTP-ATTRIB-EQUIV-CONGRUENCE-ON-ATTRIB)
(C$::ATTRIB-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::ATTRIB-LIST-AIDENTP-ATTRIB-LIST-EQUIV-CONGRUENCE-ON-ATTRIB-LIST)
(C$::ATTRIB-LIST-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::ATTRIB-SPEC-AIDENTP-ATTRIB-SPEC-EQUIV-CONGRUENCE-ON-ATTRIB-SPEC)
(C$::ATTRIB-SPEC-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::ATTRIB-SPEC-LIST-AIDENTP-ATTRIB-SPEC-LIST-EQUIV-CONGRUENCE-ON-ATTRIB-SPEC-LIST)
(C$::ATTRIB-SPEC-LIST-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::INIT-DECLOR-AIDENTP-INIT-DECLOR-EQUIV-CONGRUENCE-ON-INIT-DECLOR)
(C$::INIT-DECLOR-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::INIT-DECLOR-LIST-AIDENTP-INIT-DECLOR-LIST-EQUIV-CONGRUENCE-ON-INIT-DECLOR-LIST)
(C$::INIT-DECLOR-LIST-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::DECLON-AIDENTP-DECLON-EQUIV-CONGRUENCE-ON-DECLON)
(C$::DECLON-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::DECLON-LIST-AIDENTP-DECLON-LIST-EQUIV-CONGRUENCE-ON-DECLON-LIST)
(C$::DECLON-LIST-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::LABEL-AIDENTP-LABEL-EQUIV-CONGRUENCE-ON-LABEL)
(C$::LABEL-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::ASM-OUTPUT-AIDENTP-ASM-OUTPUT-EQUIV-CONGRUENCE-ON-ASM-OUTPUT)
(C$::ASM-OUTPUT-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::ASM-OUTPUT-LIST-AIDENTP-ASM-OUTPUT-LIST-EQUIV-CONGRUENCE-ON-ASM-OUTPUT-LIST)
(C$::ASM-OUTPUT-LIST-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::ASM-INPUT-AIDENTP-ASM-INPUT-EQUIV-CONGRUENCE-ON-ASM-INPUT)
(C$::ASM-INPUT-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::ASM-INPUT-LIST-AIDENTP-ASM-INPUT-LIST-EQUIV-CONGRUENCE-ON-ASM-INPUT-LIST)
(C$::ASM-INPUT-LIST-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::ASM-STMT-AIDENTP-ASM-STMT-EQUIV-CONGRUENCE-ON-ASM-STMT)
(C$::ASM-STMT-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::STMT-AIDENTP-STMT-EQUIV-CONGRUENCE-ON-STMT)
(C$::STMT-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::COMP-STMT-AIDENTP-COMP-STMT-EQUIV-CONGRUENCE-ON-COMP-STMT)
(C$::COMP-STMT-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::BLOCK-ITEM-AIDENTP-BLOCK-ITEM-EQUIV-CONGRUENCE-ON-BLOCK-ITEM)
(C$::BLOCK-ITEM-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::BLOCK-ITEM-LIST-AIDENTP-BLOCK-ITEM-LIST-EQUIV-CONGRUENCE-ON-BLOCK-ITEM-LIST)
(C$::BLOCK-ITEM-LIST-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::AMB-EXPR/TYNAME-AIDENTP-AMB-EXPR/TYNAME-EQUIV-CONGRUENCE-ON-AMB-EXPR/TYNAME)
(C$::AMB-EXPR/TYNAME-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::AMB-DECLOR/ABSDECLOR-AIDENTP-AMB-DECLOR/ABSDECLOR-EQUIV-CONGRUENCE-ON-AMB-DECLOR/ABSDECLOR)
(C$::AMB-DECLOR/ABSDECLOR-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::AMB-DECLON/STMT-AIDENTP-AMB-DECLON/STMT-EQUIV-CONGRUENCE-ON-AMB-DECLON/STMT)
(C$::AMB-DECLON/STMT-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::EXPR-AIDENTP-OF-EXPR-IDENT)
(C$::IDENT-AIDENTP-OF-EXPR-IDENT->IDENT)
(C$::EXPR-AIDENTP-OF-EXPR-CONST)
(C$::CONST-AIDENTP-OF-EXPR-CONST->CONST)
(C$::EXPR-AIDENTP-OF-EXPR-STRING)
(C$::EXPR-AIDENTP-OF-EXPR-PAREN)
(C$::EXPR-AIDENTP-OF-EXPR-PAREN->INNER)
(C$::EXPR-AIDENTP-OF-EXPR-GENSEL)
(C$::EXPR-AIDENTP-OF-EXPR-GENSEL->CONTROL)
(C$::GENASSOC-LIST-AIDENTP-OF-EXPR-GENSEL->ASSOCS)
(C$::EXPR-AIDENTP-OF-EXPR-ARRSUB)
(C$::EXPR-AIDENTP-OF-EXPR-ARRSUB->ARG1)
(C$::EXPR-AIDENTP-OF-EXPR-ARRSUB->ARG2)
(C$::EXPR-AIDENTP-OF-EXPR-FUNCALL)
(C$::EXPR-AIDENTP-OF-EXPR-FUNCALL->FUN)
(C$::EXPR-LIST-AIDENTP-OF-EXPR-FUNCALL->ARGS)
(C$::EXPR-AIDENTP-OF-EXPR-MEMBER)
(C$::EXPR-AIDENTP-OF-EXPR-MEMBER->ARG)
(C$::IDENT-AIDENTP-OF-EXPR-MEMBER->NAME)
(C$::EXPR-AIDENTP-OF-EXPR-MEMBERP)
(C$::EXPR-AIDENTP-OF-EXPR-MEMBERP->ARG)
(C$::IDENT-AIDENTP-OF-EXPR-MEMBERP->NAME)
(C$::EXPR-AIDENTP-OF-EXPR-COMPLIT)
(C$::TYNAME-AIDENTP-OF-EXPR-COMPLIT->TYPE)
(C$::DESINITER-LIST-AIDENTP-OF-EXPR-COMPLIT->ELEMS)
(C$::EXPR-AIDENTP-OF-EXPR-UNARY)
(C$::EXPR-AIDENTP-OF-EXPR-UNARY->ARG)
(C$::EXPR-AIDENTP-OF-EXPR-LABEL-ADDR)
(C$::IDENT-AIDENTP-OF-EXPR-LABEL-ADDR->ARG)
(C$::EXPR-AIDENTP-OF-EXPR-SIZEOF)
(C$::TYNAME-AIDENTP-OF-EXPR-SIZEOF->TYPE)
(C$::EXPR-AIDENTP-OF-EXPR-SIZEOF-AMBIG)
(C$::AMB-EXPR/TYNAME-AIDENTP-OF-EXPR-SIZEOF-AMBIG->EXPR/TYNAME)
(C$::EXPR-AIDENTP-OF-EXPR-ALIGNOF)
(C$::TYNAME-AIDENTP-OF-EXPR-ALIGNOF->TYPE)
(C$::EXPR-AIDENTP-OF-EXPR-ALIGNOF-AMBIG)
(C$::AMB-EXPR/TYNAME-AIDENTP-OF-EXPR-ALIGNOF-AMBIG->EXPR/TYNAME)
(C$::EXPR-AIDENTP-OF-EXPR-CAST)
(C$::TYNAME-AIDENTP-OF-EXPR-CAST->TYPE)
(C$::EXPR-AIDENTP-OF-EXPR-CAST->ARG)
(C$::EXPR-AIDENTP-OF-EXPR-BINARY)
(C$::EXPR-AIDENTP-OF-EXPR-BINARY->ARG1)
(C$::EXPR-AIDENTP-OF-EXPR-BINARY->ARG2)
(C$::EXPR-AIDENTP-OF-EXPR-COND
 (1 1 (:REWRITE C$::EXPR-OPTION-FIX-WHEN-NONE))
 )
(C$::EXPR-AIDENTP-OF-EXPR-COND->TEST)
(C$::EXPR-OPTION-AIDENTP-OF-EXPR-COND->THEN)
(C$::EXPR-AIDENTP-OF-EXPR-COND->ELSE)
(C$::EXPR-AIDENTP-OF-EXPR-COMMA)
(C$::EXPR-AIDENTP-OF-EXPR-COMMA->FIRST)
(C$::EXPR-AIDENTP-OF-EXPR-COMMA->NEXT)
(C$::EXPR-AIDENTP-OF-EXPR-CAST/CALL-AMBIG)
(C$::AMB-EXPR/TYNAME-AIDENTP-OF-EXPR-CAST/CALL-AMBIG->TYPE/FUN)
(C$::EXPR-AIDENTP-OF-EXPR-CAST/CALL-AMBIG->ARG/REST)
(C$::EXPR-AIDENTP-OF-EXPR-CAST/MUL-AMBIG)
(C$::AMB-EXPR/TYNAME-AIDENTP-OF-EXPR-CAST/MUL-AMBIG->TYPE/ARG1)
(C$::EXPR-AIDENTP-OF-EXPR-CAST/MUL-AMBIG->ARG/ARG2)
(C$::EXPR-AIDENTP-OF-EXPR-CAST/ADD-AMBIG)
(C$::AMB-EXPR/TYNAME-AIDENTP-OF-EXPR-CAST/ADD-AMBIG->TYPE/ARG1)
(C$::EXPR-AIDENTP-OF-EXPR-CAST/ADD-AMBIG->ARG/ARG2)
(C$::EXPR-AIDENTP-OF-EXPR-CAST/SUB-AMBIG)
(C$::AMB-EXPR/TYNAME-AIDENTP-OF-EXPR-CAST/SUB-AMBIG->TYPE/ARG1)
(C$::EXPR-AIDENTP-OF-EXPR-CAST/SUB-AMBIG->ARG/ARG2)
(C$::EXPR-AIDENTP-OF-EXPR-CAST/AND-AMBIG)
(C$::AMB-EXPR/TYNAME-AIDENTP-OF-EXPR-CAST/AND-AMBIG->TYPE/ARG1)
(C$::EXPR-AIDENTP-OF-EXPR-CAST/AND-AMBIG->ARG/ARG2)
(C$::EXPR-AIDENTP-OF-EXPR-CAST/LOGAND-AMBIG)
(C$::AMB-EXPR/TYNAME-AIDENTP-OF-EXPR-CAST/LOGAND-AMBIG->TYPE/ARG1)
(C$::EXPR-AIDENTP-OF-EXPR-CAST/LOGAND-AMBIG->ARG/ARG2)
(C$::EXPR-AIDENTP-OF-EXPR-STMT)
(C$::COMP-STMT-AIDENTP-OF-EXPR-STMT->STMT)
(C$::EXPR-AIDENTP-OF-EXPR-TYCOMPAT)
(C$::TYNAME-AIDENTP-OF-EXPR-TYCOMPAT->TYPE1)
(C$::TYNAME-AIDENTP-OF-EXPR-TYCOMPAT->TYPE2)
(C$::EXPR-AIDENTP-OF-EXPR-OFFSETOF)
(C$::TYNAME-AIDENTP-OF-EXPR-OFFSETOF->TYPE)
(C$::MEMBER-DESIGNOR-AIDENTP-OF-EXPR-OFFSETOF->MEMBER)
(C$::EXPR-AIDENTP-OF-EXPR-VA-ARG)
(C$::EXPR-AIDENTP-OF-EXPR-VA-ARG->LIST)
(C$::TYNAME-AIDENTP-OF-EXPR-VA-ARG->TYPE)
(C$::EXPR-AIDENTP-OF-EXPR-EXTENSION)
(C$::EXPR-AIDENTP-OF-EXPR-EXTENSION->EXPR)
(C$::EXPR-LIST-AIDENTP-WHEN-ATOM)
(C$::EXPR-LIST-AIDENTP-OF-CONS)
(C$::EXPR-LIST-AIDENTP-OF-APPEND
 (14 7 (:TYPE-PRESCRIPTION TRUE-LISTP-APPEND))
 (7 7 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (7 7 (:TYPE-PRESCRIPTION BINARY-APPEND))
 (7 7 (:REWRITE CDR-OF-APPEND-WHEN-CONSP))
 (6 6 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 )
(C$::EXPR-LIST-AIDENTP-OF-RCONS
 (3 3 (:REWRITE-QUOTED-CONSTANT C$::EXPR-LIST-FIX-UNDER-EXPR-LIST-EQUIV))
 (1 1 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (1 1 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 )
(C$::EXPR-AIDENTP-OF-CAR-WHEN-EXPR-LIST-AIDENTP)
(C$::EXPR-LIST-AIDENTP-OF-CDR-WHEN-EXPR-LIST-AIDENTP)
(C$::EXPR-OPTION-AIDENTP-WHEN-EXPR-AIDENTP)
(C$::EXPR-AIDENTP-WHEN-EXPR-OPTION-AIDENTP-AND-NOT-NIL)
(C$::EXPR-AIDENTP-OF-EXPR-OPTION-SOME->VAL)
(C$::CONST-EXPR-AIDENTP-OF-CONST-EXPR)
(C$::EXPR-AIDENTP-OF-CONST-EXPR->EXPR)
(C$::CONST-EXPR-OPTION-AIDENTP-WHEN-CONST-EXPR-AIDENTP)
(C$::CONST-EXPR-AIDENTP-WHEN-CONST-EXPR-OPTION-AIDENTP-AND-NOT-NIL)
(C$::CONST-EXPR-AIDENTP-OF-CONST-EXPR-OPTION-SOME->VAL)
(C$::GENASSOC-AIDENTP-OF-GENASSOC-TYPE)
(C$::TYNAME-AIDENTP-OF-GENASSOC-TYPE->TYPE)
(C$::EXPR-AIDENTP-OF-GENASSOC-TYPE->EXPR)
(C$::GENASSOC-AIDENTP-OF-GENASSOC-DEFAULT)
(C$::EXPR-AIDENTP-OF-GENASSOC-DEFAULT->EXPR)
(C$::GENASSOC-LIST-AIDENTP-WHEN-ATOM)
(C$::GENASSOC-LIST-AIDENTP-OF-CONS)
(C$::GENASSOC-LIST-AIDENTP-OF-APPEND
 (14 7 (:TYPE-PRESCRIPTION TRUE-LISTP-APPEND))
 (7 7 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (7 7 (:TYPE-PRESCRIPTION BINARY-APPEND))
 (7 7 (:REWRITE CDR-OF-APPEND-WHEN-CONSP))
 (6 6 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 )
(C$::GENASSOC-LIST-AIDENTP-OF-RCONS
 (3 3 (:REWRITE-QUOTED-CONSTANT C$::GENASSOC-LIST-FIX-UNDER-GENASSOC-LIST-EQUIV))
 (1 1 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (1 1 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 )
(C$::GENASSOC-AIDENTP-OF-CAR-WHEN-GENASSOC-LIST-AIDENTP)
(C$::GENASSOC-LIST-AIDENTP-OF-CDR-WHEN-GENASSOC-LIST-AIDENTP)
(C$::MEMBER-DESIGNOR-AIDENTP-OF-MEMBER-DESIGNOR-IDENT)
(C$::IDENT-AIDENTP-OF-MEMBER-DESIGNOR-IDENT->IDENT)
(C$::MEMBER-DESIGNOR-AIDENTP-OF-MEMBER-DESIGNOR-DOT)
(C$::MEMBER-DESIGNOR-AIDENTP-OF-MEMBER-DESIGNOR-DOT->MEMBER)
(C$::IDENT-AIDENTP-OF-MEMBER-DESIGNOR-DOT->NAME)
(C$::MEMBER-DESIGNOR-AIDENTP-OF-MEMBER-DESIGNOR-SUB)
(C$::MEMBER-DESIGNOR-AIDENTP-OF-MEMBER-DESIGNOR-SUB->MEMBER)
(C$::EXPR-AIDENTP-OF-MEMBER-DESIGNOR-SUB->INDEX)
(C$::TYPE-SPEC-AIDENTP-WHEN-VOID)
(C$::TYPE-SPEC-AIDENTP-WHEN-CHAR)
(C$::TYPE-SPEC-AIDENTP-WHEN-SHORT)
(C$::TYPE-SPEC-AIDENTP-WHEN-INT)
(C$::TYPE-SPEC-AIDENTP-WHEN-LONG)
(C$::TYPE-SPEC-AIDENTP-WHEN-FLOAT)
(C$::TYPE-SPEC-AIDENTP-WHEN-DOUBLE)
(C$::TYPE-SPEC-AIDENTP-OF-TYPE-SPEC-SIGNED)
(C$::TYPE-SPEC-AIDENTP-WHEN-UNSIGNED)
(C$::TYPE-SPEC-AIDENTP-WHEN-BOOL)
(C$::TYPE-SPEC-AIDENTP-WHEN-COMPLEX)
(C$::TYPE-SPEC-AIDENTP-OF-TYPE-SPEC-ATOMIC)
(C$::TYNAME-AIDENTP-OF-TYPE-SPEC-ATOMIC->TYPE)
(C$::TYPE-SPEC-AIDENTP-OF-TYPE-SPEC-STRUCT)
(C$::STRUNI-SPEC-AIDENTP-OF-TYPE-SPEC-STRUCT->SPEC)
(C$::TYPE-SPEC-AIDENTP-OF-TYPE-SPEC-UNION)
(C$::STRUNI-SPEC-AIDENTP-OF-TYPE-SPEC-UNION->SPEC)
(C$::TYPE-SPEC-AIDENTP-OF-TYPE-SPEC-ENUM)
(C$::ENUM-SPEC-AIDENTP-OF-TYPE-SPEC-ENUM->SPEC)
(C$::TYPE-SPEC-AIDENTP-OF-TYPE-SPEC-TYPEDEF)
(C$::IDENT-AIDENTP-OF-TYPE-SPEC-TYPEDEF->NAME)
(C$::TYPE-SPEC-AIDENTP-OF-TYPE-SPEC-INT128)
(C$::TYPE-SPEC-AIDENTP-WHEN-LOCASE-FLOAT80)
(C$::TYPE-SPEC-AIDENTP-WHEN-LOCASE-FLOAT128)
(C$::TYPE-SPEC-AIDENTP-WHEN-FLOAT16)
(C$::TYPE-SPEC-AIDENTP-WHEN-FLOAT16X)
(C$::TYPE-SPEC-AIDENTP-WHEN-FLOAT32)
(C$::TYPE-SPEC-AIDENTP-WHEN-FLOAT32X)
(C$::TYPE-SPEC-AIDENTP-WHEN-FLOAT64)
(C$::TYPE-SPEC-AIDENTP-WHEN-FLOAT64X)
(C$::TYPE-SPEC-AIDENTP-WHEN-FLOAT128)
(C$::TYPE-SPEC-AIDENTP-WHEN-FLOAT128X)
(C$::TYPE-SPEC-AIDENTP-WHEN-BUILTIN-VA-LIST)
(C$::TYPE-SPEC-AIDENTP-OF-TYPE-SPEC-STRUCT-EMPTY
 (1 1 (:REWRITE C$::IDENT-OPTION-FIX-WHEN-NONE))
 )
(C$::ATTRIB-SPEC-LIST-AIDENTP-OF-TYPE-SPEC-STRUCT-EMPTY->ATTRIBS)
(C$::IDENT-OPTION-AIDENTP-OF-TYPE-SPEC-STRUCT-EMPTY->NAME?)
(C$::TYPE-SPEC-AIDENTP-OF-TYPE-SPEC-TYPEOF-EXPR)
(C$::EXPR-AIDENTP-OF-TYPE-SPEC-TYPEOF-EXPR->EXPR)
(C$::TYPE-SPEC-AIDENTP-OF-TYPE-SPEC-TYPEOF-TYPE)
(C$::TYNAME-AIDENTP-OF-TYPE-SPEC-TYPEOF-TYPE->TYPE)
(C$::TYPE-SPEC-AIDENTP-OF-TYPE-SPEC-TYPEOF-AMBIG)
(C$::AMB-EXPR/TYNAME-AIDENTP-OF-TYPE-SPEC-TYPEOF-AMBIG->EXPR/TYPE)
(C$::TYPE-SPEC-AIDENTP-WHEN-AUTO-TYPE)
(C$::SPEC/QUAL-AIDENTP-OF-SPEC/QUAL-TYPESPEC
 (2 1 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-VOID))
 (2 1 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-UNSIGNED))
 (2 1 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-SHORT))
 (2 1 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-LONG))
 (2 1 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-LOCASE-FLOAT80))
 (2 1 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-LOCASE-FLOAT128))
 (2 1 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-INT))
 (2 1 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-FLOAT64X))
 (2 1 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-FLOAT64))
 (2 1 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-FLOAT32X))
 (2 1 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-FLOAT32))
 (2 1 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-FLOAT16X))
 (2 1 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-FLOAT16))
 (2 1 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-FLOAT128X))
 (2 1 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-FLOAT128))
 (2 1 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-FLOAT))
 (2 1 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-DOUBLE))
 (2 1 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-COMPLEX))
 (2 1 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-CHAR))
 (2 1 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-BUILTIN-VA-LIST))
 (2 1 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-BOOL))
 (2 1 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-AUTO-TYPE))
 )
(C$::TYPE-SPEC-AIDENTP-OF-SPEC/QUAL-TYPESPEC->SPEC)
(C$::SPEC/QUAL-AIDENTP-OF-SPEC/QUAL-TYPEQUAL)
(C$::SPEC/QUAL-AIDENTP-OF-SPEC/QUAL-ALIGN)
(C$::ALIGN-SPEC-AIDENTP-OF-SPEC/QUAL-ALIGN->SPEC)
(C$::SPEC/QUAL-AIDENTP-OF-SPEC/QUAL-ATTRIB)
(C$::ATTRIB-SPEC-AIDENTP-OF-SPEC/QUAL-ATTRIB->SPEC)
(C$::SPEC/QUAL-LIST-AIDENTP-WHEN-ATOM)
(C$::SPEC/QUAL-LIST-AIDENTP-OF-CONS)
(C$::SPEC/QUAL-LIST-AIDENTP-OF-APPEND
 (14 7 (:TYPE-PRESCRIPTION TRUE-LISTP-APPEND))
 (7 7 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (7 7 (:TYPE-PRESCRIPTION BINARY-APPEND))
 (7 7 (:REWRITE CDR-OF-APPEND-WHEN-CONSP))
 (6 6 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 )
(C$::SPEC/QUAL-LIST-AIDENTP-OF-RCONS
 (3 3 (:REWRITE-QUOTED-CONSTANT C$::SPEC/QUAL-LIST-FIX-UNDER-SPEC/QUAL-LIST-EQUIV))
 (1 1 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (1 1 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 )
(C$::SPEC/QUAL-AIDENTP-OF-CAR-WHEN-SPEC/QUAL-LIST-AIDENTP)
(C$::SPEC/QUAL-LIST-AIDENTP-OF-CDR-WHEN-SPEC/QUAL-LIST-AIDENTP)
(C$::ALIGN-SPEC-AIDENTP-OF-ALIGN-SPEC-ALIGNAS-TYPE)
(C$::TYNAME-AIDENTP-OF-ALIGN-SPEC-ALIGNAS-TYPE->TYPE)
(C$::ALIGN-SPEC-AIDENTP-OF-ALIGN-SPEC-ALIGNAS-EXPR)
(C$::CONST-EXPR-AIDENTP-OF-ALIGN-SPEC-ALIGNAS-EXPR->EXPR)
(C$::ALIGN-SPEC-AIDENTP-OF-ALIGN-SPEC-ALIGNAS-AMBIG)
(C$::AMB-EXPR/TYNAME-AIDENTP-OF-ALIGN-SPEC-ALIGNAS-AMBIG->EXPR/TYPE)
(C$::DECL-SPEC-AIDENTP-OF-DECL-SPEC-STOCLASS)
(C$::DECL-SPEC-AIDENTP-OF-DECL-SPEC-TYPESPEC
 (2 1 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-VOID))
 (2 1 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-UNSIGNED))
 (2 1 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-SHORT))
 (2 1 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-LONG))
 (2 1 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-LOCASE-FLOAT80))
 (2 1 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-LOCASE-FLOAT128))
 (2 1 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-INT))
 (2 1 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-FLOAT64X))
 (2 1 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-FLOAT64))
 (2 1 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-FLOAT32X))
 (2 1 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-FLOAT32))
 (2 1 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-FLOAT16X))
 (2 1 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-FLOAT16))
 (2 1 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-FLOAT128X))
 (2 1 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-FLOAT128))
 (2 1 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-FLOAT))
 (2 1 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-DOUBLE))
 (2 1 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-COMPLEX))
 (2 1 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-CHAR))
 (2 1 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-BUILTIN-VA-LIST))
 (2 1 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-BOOL))
 (2 1 (:REWRITE C$::TYPE-SPEC-FIX-WHEN-AUTO-TYPE))
 )
(C$::TYPE-SPEC-AIDENTP-OF-DECL-SPEC-TYPESPEC->SPEC)
(C$::DECL-SPEC-AIDENTP-OF-DECL-SPEC-TYPEQUAL)
(C$::DECL-SPEC-AIDENTP-OF-DECL-SPEC-FUNCTION)
(C$::DECL-SPEC-AIDENTP-OF-DECL-SPEC-ALIGN)
(C$::ALIGN-SPEC-AIDENTP-OF-DECL-SPEC-ALIGN->SPEC)
(C$::DECL-SPEC-AIDENTP-OF-DECL-SPEC-ATTRIB)
(C$::ATTRIB-SPEC-AIDENTP-OF-DECL-SPEC-ATTRIB->SPEC)
(C$::DECL-SPEC-AIDENTP-WHEN-STDCALL)
(C$::DECL-SPEC-AIDENTP-OF-DECL-SPEC-DECLSPEC)
(C$::IDENT-AIDENTP-OF-DECL-SPEC-DECLSPEC->ARG)
(C$::DECL-SPEC-LIST-AIDENTP-WHEN-ATOM)
(C$::DECL-SPEC-LIST-AIDENTP-OF-CONS)
(C$::DECL-SPEC-LIST-AIDENTP-OF-APPEND
 (14 7 (:TYPE-PRESCRIPTION TRUE-LISTP-APPEND))
 (7 7 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (7 7 (:TYPE-PRESCRIPTION BINARY-APPEND))
 (7 7 (:REWRITE CDR-OF-APPEND-WHEN-CONSP))
 (6 6 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 )
(C$::DECL-SPEC-LIST-AIDENTP-OF-RCONS
 (3 3 (:REWRITE-QUOTED-CONSTANT C$::DECL-SPEC-LIST-FIX-UNDER-DECL-SPEC-LIST-EQUIV))
 (1 1 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (1 1 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 )
(C$::DECL-SPEC-AIDENTP-OF-CAR-WHEN-DECL-SPEC-LIST-AIDENTP)
(C$::DECL-SPEC-LIST-AIDENTP-OF-CDR-WHEN-DECL-SPEC-LIST-AIDENTP)
(C$::TYPEQUAL/ATTRIBSPEC-AIDENTP-OF-TYPEQUAL/ATTRIBSPEC-TYPE)
(C$::TYPEQUAL/ATTRIBSPEC-AIDENTP-OF-TYPEQUAL/ATTRIBSPEC-ATTRIB)
(C$::ATTRIB-SPEC-AIDENTP-OF-TYPEQUAL/ATTRIBSPEC-ATTRIB->SPEC)
(C$::TYPEQUAL/ATTRIBSPEC-LIST-AIDENTP-WHEN-ATOM)
(C$::TYPEQUAL/ATTRIBSPEC-LIST-AIDENTP-OF-CONS)
(C$::TYPEQUAL/ATTRIBSPEC-LIST-AIDENTP-OF-APPEND
 (14 7 (:TYPE-PRESCRIPTION TRUE-LISTP-APPEND))
 (7 7 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (7 7 (:TYPE-PRESCRIPTION BINARY-APPEND))
 (7 7 (:REWRITE CDR-OF-APPEND-WHEN-CONSP))
 (6 6 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 )
(C$::TYPEQUAL/ATTRIBSPEC-LIST-AIDENTP-OF-RCONS
 (3 3 (:REWRITE-QUOTED-CONSTANT C$::TYPEQUAL/ATTRIBSPEC-LIST-FIX-UNDER-TYPEQUAL/ATTRIBSPEC-LIST-EQUIV))
 (1 1 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (1 1 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 )
(C$::TYPEQUAL/ATTRIBSPEC-AIDENTP-OF-CAR-WHEN-TYPEQUAL/ATTRIBSPEC-LIST-AIDENTP)
(C$::TYPEQUAL/ATTRIBSPEC-LIST-AIDENTP-OF-CDR-WHEN-TYPEQUAL/ATTRIBSPEC-LIST-AIDENTP)
(C$::TYPEQUAL/ATTRIBSPEC-LIST-LIST-AIDENTP-WHEN-ATOM)
(C$::TYPEQUAL/ATTRIBSPEC-LIST-LIST-AIDENTP-OF-CONS)
(C$::TYPEQUAL/ATTRIBSPEC-LIST-LIST-AIDENTP-OF-APPEND
 (14 7 (:TYPE-PRESCRIPTION TRUE-LISTP-APPEND))
 (7 7 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (7 7 (:TYPE-PRESCRIPTION BINARY-APPEND))
 (7 7 (:REWRITE CDR-OF-APPEND-WHEN-CONSP))
 (6 6 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 )
(C$::TYPEQUAL/ATTRIBSPEC-LIST-LIST-AIDENTP-OF-RCONS
 (3 3 (:REWRITE-QUOTED-CONSTANT C$::TYPEQUAL/ATTRIBSPEC-LIST-LIST-FIX-UNDER-TYPEQUAL/ATTRIBSPEC-LIST-LIST-EQUIV))
 (1 1 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (1 1 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 )
(C$::TYPEQUAL/ATTRIBSPEC-LIST-AIDENTP-OF-CAR-WHEN-TYPEQUAL/ATTRIBSPEC-LIST-LIST-AIDENTP)
(C$::TYPEQUAL/ATTRIBSPEC-LIST-LIST-AIDENTP-OF-CDR-WHEN-TYPEQUAL/ATTRIBSPEC-LIST-LIST-AIDENTP)
(C$::INITER-AIDENTP-OF-INITER-SINGLE)
(C$::EXPR-AIDENTP-OF-INITER-SINGLE->EXPR)
(C$::INITER-AIDENTP-OF-INITER-LIST)
(C$::DESINITER-LIST-AIDENTP-OF-INITER-LIST->ELEMS)
(C$::INITER-OPTION-AIDENTP-WHEN-INITER-AIDENTP)
(C$::INITER-AIDENTP-WHEN-INITER-OPTION-AIDENTP-AND-NOT-NIL)
(C$::INITER-AIDENTP-OF-INITER-OPTION-SOME->VAL)
(C$::DESINITER-AIDENTP-OF-DESINITER)
(C$::DESIGNOR-LIST-AIDENTP-OF-DESINITER->DESIGNORS)
(C$::INITER-AIDENTP-OF-DESINITER->INITER)
(C$::DESINITER-LIST-AIDENTP-WHEN-ATOM)
(C$::DESINITER-LIST-AIDENTP-OF-CONS)
(C$::DESINITER-LIST-AIDENTP-OF-APPEND
 (14 7 (:TYPE-PRESCRIPTION TRUE-LISTP-APPEND))
 (7 7 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (7 7 (:TYPE-PRESCRIPTION BINARY-APPEND))
 (7 7 (:REWRITE CDR-OF-APPEND-WHEN-CONSP))
 (6 6 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 )
(C$::DESINITER-LIST-AIDENTP-OF-RCONS
 (3 3 (:REWRITE-QUOTED-CONSTANT C$::DESINITER-LIST-FIX-UNDER-DESINITER-LIST-EQUIV))
 (1 1 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (1 1 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 )
(C$::DESINITER-AIDENTP-OF-CAR-WHEN-DESINITER-LIST-AIDENTP)
(C$::DESINITER-LIST-AIDENTP-OF-CDR-WHEN-DESINITER-LIST-AIDENTP)
(C$::DESIGNOR-AIDENTP-OF-DESIGNOR-SUB
 (1 1 (:REWRITE C$::CONST-EXPR-OPTION-FIX-WHEN-NONE))
 )
(C$::CONST-EXPR-AIDENTP-OF-DESIGNOR-SUB->INDEX)
(C$::CONST-EXPR-OPTION-AIDENTP-OF-DESIGNOR-SUB->RANGE?)
(C$::DESIGNOR-AIDENTP-OF-DESIGNOR-DOT)
(C$::IDENT-AIDENTP-OF-DESIGNOR-DOT->NAME)
(C$::DESIGNOR-LIST-AIDENTP-WHEN-ATOM)
(C$::DESIGNOR-LIST-AIDENTP-OF-CONS)
(C$::DESIGNOR-LIST-AIDENTP-OF-APPEND
 (14 7 (:TYPE-PRESCRIPTION TRUE-LISTP-APPEND))
 (7 7 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (7 7 (:TYPE-PRESCRIPTION BINARY-APPEND))
 (7 7 (:REWRITE CDR-OF-APPEND-WHEN-CONSP))
 (6 6 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 )
(C$::DESIGNOR-LIST-AIDENTP-OF-RCONS
 (3 3 (:REWRITE-QUOTED-CONSTANT C$::DESIGNOR-LIST-FIX-UNDER-DESIGNOR-LIST-EQUIV))
 (1 1 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (1 1 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 )
(C$::DESIGNOR-AIDENTP-OF-CAR-WHEN-DESIGNOR-LIST-AIDENTP)
(C$::DESIGNOR-LIST-AIDENTP-OF-CDR-WHEN-DESIGNOR-LIST-AIDENTP)
(C$::DECLOR-AIDENTP-OF-DECLOR)
(C$::TYPEQUAL/ATTRIBSPEC-LIST-LIST-AIDENTP-OF-DECLOR->POINTERS)
(C$::DIRDECLOR-AIDENTP-OF-DECLOR->DIRECT)
(C$::DECLOR-OPTION-AIDENTP-WHEN-DECLOR-AIDENTP)
(C$::DECLOR-AIDENTP-WHEN-DECLOR-OPTION-AIDENTP-AND-NOT-NIL)
(C$::DECLOR-AIDENTP-OF-DECLOR-OPTION-SOME->VAL)
(C$::DIRDECLOR-AIDENTP-OF-DIRDECLOR-IDENT)
(C$::IDENT-AIDENTP-OF-DIRDECLOR-IDENT->IDENT)
(C$::DIRDECLOR-AIDENTP-OF-DIRDECLOR-PAREN)
(C$::DECLOR-AIDENTP-OF-DIRDECLOR-PAREN->INNER)
(C$::DIRDECLOR-AIDENTP-OF-DIRDECLOR-ARRAY
 (1 1 (:REWRITE C$::EXPR-OPTION-FIX-WHEN-NONE))
 )
(C$::DIRDECLOR-AIDENTP-OF-DIRDECLOR-ARRAY->DECLOR)
(C$::TYPEQUAL/ATTRIBSPEC-LIST-AIDENTP-OF-DIRDECLOR-ARRAY->QUALSPECS)
(C$::EXPR-OPTION-AIDENTP-OF-DIRDECLOR-ARRAY->SIZE?)
(C$::DIRDECLOR-AIDENTP-OF-DIRDECLOR-ARRAY-STATIC1)
(C$::DIRDECLOR-AIDENTP-OF-DIRDECLOR-ARRAY-STATIC1->DECLOR)
(C$::TYPEQUAL/ATTRIBSPEC-LIST-AIDENTP-OF-DIRDECLOR-ARRAY-STATIC1->QUALSPECS)
(C$::EXPR-AIDENTP-OF-DIRDECLOR-ARRAY-STATIC1->SIZE)
(C$::DIRDECLOR-AIDENTP-OF-DIRDECLOR-ARRAY-STATIC2)
(C$::DIRDECLOR-AIDENTP-OF-DIRDECLOR-ARRAY-STATIC2->DECLOR)
(C$::TYPEQUAL/ATTRIBSPEC-LIST-AIDENTP-OF-DIRDECLOR-ARRAY-STATIC2->QUALSPECS)
(C$::EXPR-AIDENTP-OF-DIRDECLOR-ARRAY-STATIC2->SIZE)
(C$::DIRDECLOR-AIDENTP-OF-DIRDECLOR-ARRAY-STAR)
(C$::DIRDECLOR-AIDENTP-OF-DIRDECLOR-ARRAY-STAR->DECLOR)
(C$::TYPEQUAL/ATTRIBSPEC-LIST-AIDENTP-OF-DIRDECLOR-ARRAY-STAR->QUALSPECS)
(C$::DIRDECLOR-AIDENTP-OF-DIRDECLOR-FUNCTION-PARAMS)
(C$::DIRDECLOR-AIDENTP-OF-DIRDECLOR-FUNCTION-PARAMS->DECLOR)
(C$::PARAM-DECLON-LIST-AIDENTP-OF-DIRDECLOR-FUNCTION-PARAMS->PARAMS)
(C$::DIRDECLOR-AIDENTP-OF-DIRDECLOR-FUNCTION-NAMES)
(C$::DIRDECLOR-AIDENTP-OF-DIRDECLOR-FUNCTION-NAMES->DECLOR)
(C$::IDENT-LIST-AIDENTP-OF-DIRDECLOR-FUNCTION-NAMES->NAMES)
(C$::ABSDECLOR-AIDENTP-OF-ABSDECLOR
 (1 1 (:REWRITE C$::DIRABSDECLOR-OPTION-FIX-WHEN-NONE))
 )
(C$::TYPEQUAL/ATTRIBSPEC-LIST-LIST-AIDENTP-OF-ABSDECLOR->POINTERS)
(C$::DIRABSDECLOR-OPTION-AIDENTP-OF-ABSDECLOR->DIRECT?)
(C$::ABSDECLOR-OPTION-AIDENTP-WHEN-ABSDECLOR-AIDENTP)
(C$::ABSDECLOR-AIDENTP-WHEN-ABSDECLOR-OPTION-AIDENTP-AND-NOT-NIL)
(C$::ABSDECLOR-AIDENTP-OF-ABSDECLOR-OPTION-SOME->VAL)
(C$::DIRABSDECLOR-AIDENTP-WHEN-DUMMY-BASE)
(C$::DIRABSDECLOR-AIDENTP-OF-DIRABSDECLOR-PAREN)
(C$::ABSDECLOR-AIDENTP-OF-DIRABSDECLOR-PAREN->INNER)
(C$::DIRABSDECLOR-AIDENTP-OF-DIRABSDECLOR-ARRAY
 (1 1 (:REWRITE C$::EXPR-OPTION-FIX-WHEN-NONE))
 (1 1 (:REWRITE C$::DIRABSDECLOR-OPTION-FIX-WHEN-NONE))
 )
(C$::DIRABSDECLOR-OPTION-AIDENTP-OF-DIRABSDECLOR-ARRAY->DECLOR?)
(C$::TYPEQUAL/ATTRIBSPEC-LIST-AIDENTP-OF-DIRABSDECLOR-ARRAY->QUALSPECS)
(C$::EXPR-OPTION-AIDENTP-OF-DIRABSDECLOR-ARRAY->SIZE?)
(C$::DIRABSDECLOR-AIDENTP-OF-DIRABSDECLOR-ARRAY-STATIC1
 (1 1 (:REWRITE C$::DIRABSDECLOR-OPTION-FIX-WHEN-NONE))
 )
(C$::DIRABSDECLOR-OPTION-AIDENTP-OF-DIRABSDECLOR-ARRAY-STATIC1->DECLOR?)
(C$::TYPEQUAL/ATTRIBSPEC-LIST-AIDENTP-OF-DIRABSDECLOR-ARRAY-STATIC1->QUALSPECS)
(C$::EXPR-AIDENTP-OF-DIRABSDECLOR-ARRAY-STATIC1->SIZE)
(C$::DIRABSDECLOR-AIDENTP-OF-DIRABSDECLOR-ARRAY-STATIC2
 (1 1 (:REWRITE C$::DIRABSDECLOR-OPTION-FIX-WHEN-NONE))
 )
(C$::DIRABSDECLOR-OPTION-AIDENTP-OF-DIRABSDECLOR-ARRAY-STATIC2->DECLOR?)
(C$::TYPEQUAL/ATTRIBSPEC-LIST-AIDENTP-OF-DIRABSDECLOR-ARRAY-STATIC2->QUALSPECS)
(C$::EXPR-AIDENTP-OF-DIRABSDECLOR-ARRAY-STATIC2->SIZE)
(C$::DIRABSDECLOR-AIDENTP-OF-DIRABSDECLOR-ARRAY-STAR
 (1 1 (:REWRITE C$::DIRABSDECLOR-OPTION-FIX-WHEN-NONE))
 )
(C$::DIRABSDECLOR-OPTION-AIDENTP-OF-DIRABSDECLOR-ARRAY-STAR->DECLOR?)
(C$::DIRABSDECLOR-AIDENTP-OF-DIRABSDECLOR-FUNCTION
 (1 1 (:REWRITE C$::DIRABSDECLOR-OPTION-FIX-WHEN-NONE))
 )
(C$::DIRABSDECLOR-OPTION-AIDENTP-OF-DIRABSDECLOR-FUNCTION->DECLOR?)
(C$::PARAM-DECLON-LIST-AIDENTP-OF-DIRABSDECLOR-FUNCTION->PARAMS)
(C$::DIRABSDECLOR-OPTION-AIDENTP-WHEN-DIRABSDECLOR-AIDENTP
 (2 1 (:REWRITE C$::DIRABSDECLOR-FIX-WHEN-DUMMY-BASE))
 )
(C$::DIRABSDECLOR-AIDENTP-WHEN-DIRABSDECLOR-OPTION-AIDENTP-AND-NOT-NIL
 (2 1 (:REWRITE C$::DIRABSDECLOR-FIX-WHEN-DUMMY-BASE))
 )
(C$::DIRABSDECLOR-AIDENTP-OF-DIRABSDECLOR-OPTION-SOME->VAL)
(C$::PARAM-DECLON-AIDENTP-OF-PARAM-DECLON
 (2 1 (:REWRITE C$::PARAM-DECLOR-FIX-WHEN-NONE))
 (1 1 (:TYPE-PRESCRIPTION C$::PARAM-DECLOR-KIND$INLINE))
 )
(C$::DECL-SPEC-LIST-AIDENTP-OF-PARAM-DECLON->SPECS)
(C$::PARAM-DECLOR-AIDENTP-OF-PARAM-DECLON->DECLOR)
(C$::ATTRIB-SPEC-LIST-AIDENTP-OF-PARAM-DECLON->ATTRIBS)
(C$::PARAM-DECLON-LIST-AIDENTP-WHEN-ATOM)
(C$::PARAM-DECLON-LIST-AIDENTP-OF-CONS)
(C$::PARAM-DECLON-LIST-AIDENTP-OF-APPEND
 (14 7 (:TYPE-PRESCRIPTION TRUE-LISTP-APPEND))
 (7 7 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (7 7 (:TYPE-PRESCRIPTION BINARY-APPEND))
 (7 7 (:REWRITE CDR-OF-APPEND-WHEN-CONSP))
 (6 6 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 )
(C$::PARAM-DECLON-LIST-AIDENTP-OF-RCONS
 (3 3 (:REWRITE-QUOTED-CONSTANT C$::PARAM-DECLON-LIST-FIX-UNDER-PARAM-DECLON-LIST-EQUIV))
 (1 1 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (1 1 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 )
(C$::PARAM-DECLON-AIDENTP-OF-CAR-WHEN-PARAM-DECLON-LIST-AIDENTP)
(C$::PARAM-DECLON-LIST-AIDENTP-OF-CDR-WHEN-PARAM-DECLON-LIST-AIDENTP)
(C$::PARAM-DECLOR-AIDENTP-OF-PARAM-DECLOR-NONABSTRACT)
(C$::DECLOR-AIDENTP-OF-PARAM-DECLOR-NONABSTRACT->DECLOR)
(C$::PARAM-DECLOR-AIDENTP-OF-PARAM-DECLOR-ABSTRACT)
(C$::ABSDECLOR-AIDENTP-OF-PARAM-DECLOR-ABSTRACT->DECLOR)
(C$::PARAM-DECLOR-AIDENTP-WHEN-NONE)
(C$::PARAM-DECLOR-AIDENTP-OF-PARAM-DECLOR-AMBIG)
(C$::AMB-DECLOR/ABSDECLOR-AIDENTP-OF-PARAM-DECLOR-AMBIG->DECLOR)
(C$::TYNAME-AIDENTP-OF-TYNAME
 (1 1 (:REWRITE C$::ABSDECLOR-OPTION-FIX-WHEN-NONE))
 )
(C$::SPEC/QUAL-LIST-AIDENTP-OF-TYNAME->SPECQUALS)
(C$::ABSDECLOR-OPTION-AIDENTP-OF-TYNAME->DECLOR?)
(C$::STRUNI-SPEC-AIDENTP-OF-STRUNI-SPEC
 (1 1 (:REWRITE C$::IDENT-OPTION-FIX-WHEN-NONE))
 )
(C$::ATTRIB-SPEC-LIST-AIDENTP-OF-STRUNI-SPEC->ATTRIBS)
(C$::IDENT-OPTION-AIDENTP-OF-STRUNI-SPEC->NAME?)
(C$::STRUCT-DECLON-LIST-AIDENTP-OF-STRUNI-SPEC->MEMBERS)
(C$::STRUCT-DECLON-AIDENTP-OF-STRUCT-DECLON-MEMBER)
(C$::SPEC/QUAL-LIST-AIDENTP-OF-STRUCT-DECLON-MEMBER->SPECQUALS)
(C$::STRUCT-DECLOR-LIST-AIDENTP-OF-STRUCT-DECLON-MEMBER->DECLORS)
(C$::ATTRIB-SPEC-LIST-AIDENTP-OF-STRUCT-DECLON-MEMBER->ATTRIBS)
(C$::STRUCT-DECLON-AIDENTP-OF-STRUCT-DECLON-STATASSERT)
(C$::STATASSERT-AIDENTP-OF-STRUCT-DECLON-STATASSERT->STATASSERT)
(C$::STRUCT-DECLON-AIDENTP-WHEN-EMPTY)
(C$::STRUCT-DECLON-LIST-AIDENTP-WHEN-ATOM)
(C$::STRUCT-DECLON-LIST-AIDENTP-OF-CONS)
(C$::STRUCT-DECLON-LIST-AIDENTP-OF-APPEND
 (14 7 (:TYPE-PRESCRIPTION TRUE-LISTP-APPEND))
 (7 7 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (7 7 (:TYPE-PRESCRIPTION BINARY-APPEND))
 (7 7 (:REWRITE CDR-OF-APPEND-WHEN-CONSP))
 (6 6 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 )
(C$::STRUCT-DECLON-LIST-AIDENTP-OF-RCONS
 (3 3 (:REWRITE-QUOTED-CONSTANT C$::STRUCT-DECLON-LIST-FIX-UNDER-STRUCT-DECLON-LIST-EQUIV))
 (1 1 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (1 1 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 )
(C$::STRUCT-DECLON-AIDENTP-OF-CAR-WHEN-STRUCT-DECLON-LIST-AIDENTP)
(C$::STRUCT-DECLON-LIST-AIDENTP-OF-CDR-WHEN-STRUCT-DECLON-LIST-AIDENTP)
(C$::STRUCT-DECLOR-AIDENTP-OF-STRUCT-DECLOR
 (1 1 (:REWRITE C$::DECLOR-OPTION-FIX-WHEN-NONE))
 (1 1 (:REWRITE C$::CONST-EXPR-OPTION-FIX-WHEN-NONE))
 )
(C$::DECLOR-OPTION-AIDENTP-OF-STRUCT-DECLOR->DECLOR?)
(C$::CONST-EXPR-OPTION-AIDENTP-OF-STRUCT-DECLOR->EXPR?)
(C$::STRUCT-DECLOR-LIST-AIDENTP-WHEN-ATOM)
(C$::STRUCT-DECLOR-LIST-AIDENTP-OF-CONS)
(C$::STRUCT-DECLOR-LIST-AIDENTP-OF-APPEND
 (14 7 (:TYPE-PRESCRIPTION TRUE-LISTP-APPEND))
 (7 7 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (7 7 (:TYPE-PRESCRIPTION BINARY-APPEND))
 (7 7 (:REWRITE CDR-OF-APPEND-WHEN-CONSP))
 (6 6 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 )
(C$::STRUCT-DECLOR-LIST-AIDENTP-OF-RCONS
 (3 3 (:REWRITE-QUOTED-CONSTANT C$::STRUCT-DECLOR-LIST-FIX-UNDER-STRUCT-DECLOR-LIST-EQUIV))
 (1 1 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (1 1 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 )
(C$::STRUCT-DECLOR-AIDENTP-OF-CAR-WHEN-STRUCT-DECLOR-LIST-AIDENTP)
(C$::STRUCT-DECLOR-LIST-AIDENTP-OF-CDR-WHEN-STRUCT-DECLOR-LIST-AIDENTP)
(C$::ENUM-SPEC-AIDENTP-OF-ENUM-SPEC
 (1 1 (:REWRITE C$::IDENT-OPTION-FIX-WHEN-NONE))
 )
(C$::IDENT-OPTION-AIDENTP-OF-ENUM-SPEC->NAME?)
(C$::ENUMER-LIST-AIDENTP-OF-ENUM-SPEC->ENUMERS)
(C$::ENUMER-AIDENTP-OF-ENUMER
 (1 1 (:REWRITE C$::CONST-EXPR-OPTION-FIX-WHEN-NONE))
 )
(C$::IDENT-AIDENTP-OF-ENUMER->NAME)
(C$::CONST-EXPR-OPTION-AIDENTP-OF-ENUMER->VALUE?)
(C$::ENUMER-LIST-AIDENTP-WHEN-ATOM)
(C$::ENUMER-LIST-AIDENTP-OF-CONS)
(C$::ENUMER-LIST-AIDENTP-OF-APPEND
 (14 7 (:TYPE-PRESCRIPTION TRUE-LISTP-APPEND))
 (7 7 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (7 7 (:TYPE-PRESCRIPTION BINARY-APPEND))
 (7 7 (:REWRITE CDR-OF-APPEND-WHEN-CONSP))
 (6 6 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 )
(C$::ENUMER-LIST-AIDENTP-OF-RCONS
 (3 3 (:REWRITE-QUOTED-CONSTANT C$::ENUMER-LIST-FIX-UNDER-ENUMER-LIST-EQUIV))
 (1 1 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (1 1 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 )
(C$::ENUMER-AIDENTP-OF-CAR-WHEN-ENUMER-LIST-AIDENTP)
(C$::ENUMER-LIST-AIDENTP-OF-CDR-WHEN-ENUMER-LIST-AIDENTP)
(C$::STATASSERT-AIDENTP-OF-STATASSERT)
(C$::CONST-EXPR-AIDENTP-OF-STATASSERT->TEST)
(C$::ATTRIB-AIDENTP-OF-ATTRIB-NAME-ONLY)
(C$::ATTRIB-NAME-AIDENTP-OF-ATTRIB-NAME-ONLY->NAME)
(C$::ATTRIB-AIDENTP-OF-ATTRIB-NAME-PARAMS)
(C$::ATTRIB-NAME-AIDENTP-OF-ATTRIB-NAME-PARAMS->NAME)
(C$::EXPR-LIST-AIDENTP-OF-ATTRIB-NAME-PARAMS->PARAMS)
(C$::ATTRIB-LIST-AIDENTP-WHEN-ATOM)
(C$::ATTRIB-LIST-AIDENTP-OF-CONS)
(C$::ATTRIB-LIST-AIDENTP-OF-APPEND
 (14 7 (:TYPE-PRESCRIPTION TRUE-LISTP-APPEND))
 (7 7 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (7 7 (:TYPE-PRESCRIPTION BINARY-APPEND))
 (7 7 (:REWRITE CDR-OF-APPEND-WHEN-CONSP))
 (6 6 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 )
(C$::ATTRIB-LIST-AIDENTP-OF-RCONS
 (3 3 (:REWRITE-QUOTED-CONSTANT C$::ATTRIB-LIST-FIX-UNDER-ATTRIB-LIST-EQUIV))
 (1 1 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (1 1 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 )
(C$::ATTRIB-AIDENTP-OF-CAR-WHEN-ATTRIB-LIST-AIDENTP)
(C$::ATTRIB-LIST-AIDENTP-OF-CDR-WHEN-ATTRIB-LIST-AIDENTP)
(C$::ATTRIB-SPEC-AIDENTP-OF-ATTRIB-SPEC)
(C$::ATTRIB-LIST-AIDENTP-OF-ATTRIB-SPEC->ATTRIBS)
(C$::ATTRIB-SPEC-LIST-AIDENTP-WHEN-ATOM)
(C$::ATTRIB-SPEC-LIST-AIDENTP-OF-CONS)
(C$::ATTRIB-SPEC-LIST-AIDENTP-OF-APPEND
 (14 7 (:TYPE-PRESCRIPTION TRUE-LISTP-APPEND))
 (7 7 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (7 7 (:TYPE-PRESCRIPTION BINARY-APPEND))
 (7 7 (:REWRITE CDR-OF-APPEND-WHEN-CONSP))
 (6 6 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 )
(C$::ATTRIB-SPEC-LIST-AIDENTP-OF-RCONS
 (3 3 (:REWRITE-QUOTED-CONSTANT C$::ATTRIB-SPEC-LIST-FIX-UNDER-ATTRIB-SPEC-LIST-EQUIV))
 (1 1 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (1 1 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 )
(C$::ATTRIB-SPEC-AIDENTP-OF-CAR-WHEN-ATTRIB-SPEC-LIST-AIDENTP)
(C$::ATTRIB-SPEC-LIST-AIDENTP-OF-CDR-WHEN-ATTRIB-SPEC-LIST-AIDENTP)
(C$::INIT-DECLOR-AIDENTP-OF-INIT-DECLOR
 (1 1 (:REWRITE C$::INITER-OPTION-FIX-WHEN-NONE))
 )
(C$::DECLOR-AIDENTP-OF-INIT-DECLOR->DECLOR)
(C$::ATTRIB-SPEC-LIST-AIDENTP-OF-INIT-DECLOR->ATTRIBS)
(C$::INITER-OPTION-AIDENTP-OF-INIT-DECLOR->INITER?)
(C$::INIT-DECLOR-LIST-AIDENTP-WHEN-ATOM)
(C$::INIT-DECLOR-LIST-AIDENTP-OF-CONS)
(C$::INIT-DECLOR-LIST-AIDENTP-OF-APPEND
 (14 7 (:TYPE-PRESCRIPTION TRUE-LISTP-APPEND))
 (7 7 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (7 7 (:TYPE-PRESCRIPTION BINARY-APPEND))
 (7 7 (:REWRITE CDR-OF-APPEND-WHEN-CONSP))
 (6 6 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 )
(C$::INIT-DECLOR-LIST-AIDENTP-OF-RCONS
 (3 3 (:REWRITE-QUOTED-CONSTANT C$::INIT-DECLOR-LIST-FIX-UNDER-INIT-DECLOR-LIST-EQUIV))
 (1 1 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (1 1 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 )
(C$::INIT-DECLOR-AIDENTP-OF-CAR-WHEN-INIT-DECLOR-LIST-AIDENTP)
(C$::INIT-DECLOR-LIST-AIDENTP-OF-CDR-WHEN-INIT-DECLOR-LIST-AIDENTP)
(C$::DECLON-AIDENTP-OF-DECLON-DECLON)
(C$::DECL-SPEC-LIST-AIDENTP-OF-DECLON-DECLON->SPECS)
(C$::INIT-DECLOR-LIST-AIDENTP-OF-DECLON-DECLON->DECLORS)
(C$::DECLON-AIDENTP-OF-DECLON-STATASSERT)
(C$::STATASSERT-AIDENTP-OF-DECLON-STATASSERT->STATASSERT)
(C$::DECLON-LIST-AIDENTP-WHEN-ATOM)
(C$::DECLON-LIST-AIDENTP-OF-CONS)
(C$::DECLON-LIST-AIDENTP-OF-APPEND
 (14 7 (:TYPE-PRESCRIPTION TRUE-LISTP-APPEND))
 (7 7 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (7 7 (:TYPE-PRESCRIPTION BINARY-APPEND))
 (7 7 (:REWRITE CDR-OF-APPEND-WHEN-CONSP))
 (6 6 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 )
(C$::DECLON-LIST-AIDENTP-OF-RCONS
 (3 3 (:REWRITE-QUOTED-CONSTANT C$::DECLON-LIST-FIX-UNDER-DECLON-LIST-EQUIV))
 (1 1 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (1 1 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 )
(C$::DECLON-AIDENTP-OF-CAR-WHEN-DECLON-LIST-AIDENTP)
(C$::DECLON-LIST-AIDENTP-OF-CDR-WHEN-DECLON-LIST-AIDENTP)
(C$::LABEL-AIDENTP-OF-LABEL-NAME)
(C$::IDENT-AIDENTP-OF-LABEL-NAME->NAME)
(C$::ATTRIB-SPEC-LIST-AIDENTP-OF-LABEL-NAME->ATTRIBS)
(C$::LABEL-AIDENTP-OF-LABEL-CASEXPR
 (1 1 (:REWRITE C$::CONST-EXPR-OPTION-FIX-WHEN-NONE))
 )
(C$::CONST-EXPR-AIDENTP-OF-LABEL-CASEXPR->EXPR)
(C$::CONST-EXPR-OPTION-AIDENTP-OF-LABEL-CASEXPR->RANGE?)
(C$::LABEL-AIDENTP-WHEN-DEFAULT)
(C$::ASM-OUTPUT-AIDENTP-OF-ASM-OUTPUT
 (1 1 (:REWRITE C$::IDENT-OPTION-FIX-WHEN-NONE))
 )
(C$::IDENT-OPTION-AIDENTP-OF-ASM-OUTPUT->NAME?)
(C$::EXPR-AIDENTP-OF-ASM-OUTPUT->LVALUE)
(C$::ASM-OUTPUT-LIST-AIDENTP-WHEN-ATOM)
(C$::ASM-OUTPUT-LIST-AIDENTP-OF-CONS)
(C$::ASM-OUTPUT-LIST-AIDENTP-OF-APPEND
 (14 7 (:TYPE-PRESCRIPTION TRUE-LISTP-APPEND))
 (7 7 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (7 7 (:TYPE-PRESCRIPTION BINARY-APPEND))
 (7 7 (:REWRITE CDR-OF-APPEND-WHEN-CONSP))
 (6 6 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 )
(C$::ASM-OUTPUT-LIST-AIDENTP-OF-RCONS
 (3 3 (:REWRITE-QUOTED-CONSTANT C$::ASM-OUTPUT-LIST-FIX-UNDER-ASM-OUTPUT-LIST-EQUIV))
 (1 1 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (1 1 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 )
(C$::ASM-OUTPUT-AIDENTP-OF-CAR-WHEN-ASM-OUTPUT-LIST-AIDENTP)
(C$::ASM-OUTPUT-LIST-AIDENTP-OF-CDR-WHEN-ASM-OUTPUT-LIST-AIDENTP)
(C$::ASM-INPUT-AIDENTP-OF-ASM-INPUT
 (1 1 (:REWRITE C$::IDENT-OPTION-FIX-WHEN-NONE))
 )
(C$::IDENT-OPTION-AIDENTP-OF-ASM-INPUT->NAME?)
(C$::EXPR-AIDENTP-OF-ASM-INPUT->RVALUE)
(C$::ASM-INPUT-LIST-AIDENTP-WHEN-ATOM)
(C$::ASM-INPUT-LIST-AIDENTP-OF-CONS)
(C$::ASM-INPUT-LIST-AIDENTP-OF-APPEND
 (14 7 (:TYPE-PRESCRIPTION TRUE-LISTP-APPEND))
 (7 7 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (7 7 (:TYPE-PRESCRIPTION BINARY-APPEND))
 (7 7 (:REWRITE CDR-OF-APPEND-WHEN-CONSP))
 (6 6 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 )
(C$::ASM-INPUT-LIST-AIDENTP-OF-RCONS
 (3 3 (:REWRITE-QUOTED-CONSTANT C$::ASM-INPUT-LIST-FIX-UNDER-ASM-INPUT-LIST-EQUIV))
 (1 1 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (1 1 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 )
(C$::ASM-INPUT-AIDENTP-OF-CAR-WHEN-ASM-INPUT-LIST-AIDENTP)
(C$::ASM-INPUT-LIST-AIDENTP-OF-CDR-WHEN-ASM-INPUT-LIST-AIDENTP)
(C$::ASM-STMT-AIDENTP-OF-ASM-STMT)
(C$::ASM-OUTPUT-LIST-AIDENTP-OF-ASM-STMT->OUTPUTS)
(C$::ASM-INPUT-LIST-AIDENTP-OF-ASM-STMT->INPUTS)
(C$::IDENT-LIST-AIDENTP-OF-ASM-STMT->LABELS)
(C$::STMT-AIDENTP-OF-STMT-LABELED
 (2 2 (:TYPE-PRESCRIPTION C$::STMT-KIND$INLINE))
 (2 1 (:REWRITE C$::STMT-FIX-WHEN-CONTINUE))
 (2 1 (:REWRITE C$::STMT-FIX-WHEN-BREAK))
 (2 1 (:REWRITE C$::LABEL-FIX-WHEN-DEFAULT))
 )
(C$::LABEL-AIDENTP-OF-STMT-LABELED->LABEL)
(C$::STMT-AIDENTP-OF-STMT-LABELED->STMT)
(C$::STMT-AIDENTP-OF-STMT-COMPOUND)
(C$::COMP-STMT-AIDENTP-OF-STMT-COMPOUND->STMT)
(C$::STMT-AIDENTP-OF-STMT-EXPR
 (1 1 (:REWRITE C$::EXPR-OPTION-FIX-WHEN-NONE))
 )
(C$::EXPR-OPTION-AIDENTP-OF-STMT-EXPR->EXPR?)
(C$::STMT-AIDENTP-OF-STMT-NULL-ATTRIB)
(C$::ATTRIB-SPEC-AIDENTP-OF-STMT-NULL-ATTRIB->ATTRIB)
(C$::STMT-AIDENTP-OF-STMT-IF
 (2 2 (:TYPE-PRESCRIPTION C$::STMT-KIND$INLINE))
 (2 1 (:REWRITE C$::STMT-FIX-WHEN-CONTINUE))
 (2 1 (:REWRITE C$::STMT-FIX-WHEN-BREAK))
 )
(C$::EXPR-AIDENTP-OF-STMT-IF->TEST)
(C$::STMT-AIDENTP-OF-STMT-IF->THEN)
(C$::STMT-AIDENTP-OF-STMT-IFELSE
 (4 4 (:TYPE-PRESCRIPTION C$::STMT-KIND$INLINE))
 (4 2 (:REWRITE C$::STMT-FIX-WHEN-CONTINUE))
 (4 2 (:REWRITE C$::STMT-FIX-WHEN-BREAK))
 )
(C$::EXPR-AIDENTP-OF-STMT-IFELSE->TEST)
(C$::STMT-AIDENTP-OF-STMT-IFELSE->THEN)
(C$::STMT-AIDENTP-OF-STMT-IFELSE->ELSE)
(C$::STMT-AIDENTP-OF-STMT-SWITCH
 (2 2 (:TYPE-PRESCRIPTION C$::STMT-KIND$INLINE))
 (2 1 (:REWRITE C$::STMT-FIX-WHEN-CONTINUE))
 (2 1 (:REWRITE C$::STMT-FIX-WHEN-BREAK))
 )
(C$::EXPR-AIDENTP-OF-STMT-SWITCH->TARGET)
(C$::STMT-AIDENTP-OF-STMT-SWITCH->BODY)
(C$::STMT-AIDENTP-OF-STMT-WHILE
 (2 2 (:TYPE-PRESCRIPTION C$::STMT-KIND$INLINE))
 (2 1 (:REWRITE C$::STMT-FIX-WHEN-CONTINUE))
 (2 1 (:REWRITE C$::STMT-FIX-WHEN-BREAK))
 )
(C$::EXPR-AIDENTP-OF-STMT-WHILE->TEST)
(C$::STMT-AIDENTP-OF-STMT-WHILE->BODY)
(C$::STMT-AIDENTP-OF-STMT-DOWHILE
 (2 2 (:TYPE-PRESCRIPTION C$::STMT-KIND$INLINE))
 (2 1 (:REWRITE C$::STMT-FIX-WHEN-CONTINUE))
 (2 1 (:REWRITE C$::STMT-FIX-WHEN-BREAK))
 )
(C$::STMT-AIDENTP-OF-STMT-DOWHILE->BODY)
(C$::EXPR-AIDENTP-OF-STMT-DOWHILE->TEST)
(C$::STMT-AIDENTP-OF-STMT-FOR-EXPR
 (3 3 (:REWRITE C$::EXPR-OPTION-FIX-WHEN-NONE))
 (2 2 (:TYPE-PRESCRIPTION C$::STMT-KIND$INLINE))
 (2 1 (:REWRITE C$::STMT-FIX-WHEN-CONTINUE))
 (2 1 (:REWRITE C$::STMT-FIX-WHEN-BREAK))
 )
(C$::EXPR-OPTION-AIDENTP-OF-STMT-FOR-EXPR->INIT)
(C$::EXPR-OPTION-AIDENTP-OF-STMT-FOR-EXPR->TEST)
(C$::EXPR-OPTION-AIDENTP-OF-STMT-FOR-EXPR->NEXT)
(C$::STMT-AIDENTP-OF-STMT-FOR-EXPR->BODY)
(C$::STMT-AIDENTP-OF-STMT-FOR-DECLON
 (2 2 (:TYPE-PRESCRIPTION C$::STMT-KIND$INLINE))
 (2 2 (:REWRITE C$::EXPR-OPTION-FIX-WHEN-NONE))
 (2 1 (:REWRITE C$::STMT-FIX-WHEN-CONTINUE))
 (2 1 (:REWRITE C$::STMT-FIX-WHEN-BREAK))
 )
(C$::DECLON-AIDENTP-OF-STMT-FOR-DECLON->INIT)
(C$::EXPR-OPTION-AIDENTP-OF-STMT-FOR-DECLON->TEST)
(C$::EXPR-OPTION-AIDENTP-OF-STMT-FOR-DECLON->NEXT)
(C$::STMT-AIDENTP-OF-STMT-FOR-DECLON->BODY)
(C$::STMT-AIDENTP-OF-STMT-FOR-AMBIG
 (2 2 (:TYPE-PRESCRIPTION C$::STMT-KIND$INLINE))
 (2 2 (:REWRITE C$::EXPR-OPTION-FIX-WHEN-NONE))
 (2 1 (:REWRITE C$::STMT-FIX-WHEN-CONTINUE))
 (2 1 (:REWRITE C$::STMT-FIX-WHEN-BREAK))
 )
(C$::AMB-DECLON/STMT-AIDENTP-OF-STMT-FOR-AMBIG->INIT)
(C$::EXPR-OPTION-AIDENTP-OF-STMT-FOR-AMBIG->TEST)
(C$::EXPR-OPTION-AIDENTP-OF-STMT-FOR-AMBIG->NEXT)
(C$::STMT-AIDENTP-OF-STMT-FOR-AMBIG->BODY)
(C$::STMT-AIDENTP-OF-STMT-GOTO)
(C$::IDENT-AIDENTP-OF-STMT-GOTO->LABEL)
(C$::STMT-AIDENTP-OF-STMT-GOTOE)
(C$::EXPR-AIDENTP-OF-STMT-GOTOE->LABEL)
(C$::STMT-AIDENTP-WHEN-CONTINUE)
(C$::STMT-AIDENTP-WHEN-BREAK)
(C$::STMT-AIDENTP-OF-STMT-RETURN
 (1 1 (:REWRITE C$::EXPR-OPTION-FIX-WHEN-NONE))
 )
(C$::EXPR-OPTION-AIDENTP-OF-STMT-RETURN->EXPR?)
(C$::STMT-AIDENTP-OF-STMT-RETURN-ATTRIB)
(C$::ATTRIB-SPEC-AIDENTP-OF-STMT-RETURN-ATTRIB->ATTRIB)
(C$::EXPR-AIDENTP-OF-STMT-RETURN-ATTRIB->EXPR)
(C$::STMT-AIDENTP-OF-STMT-ASM)
(C$::ASM-STMT-AIDENTP-OF-STMT-ASM->STMT)
(C$::COMP-STMT-AIDENTP-OF-COMP-STMT)
(C$::IDENT-LIST-LIST-AIDENTP-OF-COMP-STMT->LABELS)
(C$::BLOCK-ITEM-LIST-AIDENTP-OF-COMP-STMT->ITEMS)
(C$::BLOCK-ITEM-AIDENTP-OF-BLOCK-ITEM-DECLON)
(C$::DECLON-AIDENTP-OF-BLOCK-ITEM-DECLON->DECLON)
(C$::BLOCK-ITEM-AIDENTP-OF-BLOCK-ITEM-STMT
 (2 1 (:REWRITE C$::STMT-FIX-WHEN-CONTINUE))
 (2 1 (:REWRITE C$::STMT-FIX-WHEN-BREAK))
 )
(C$::STMT-AIDENTP-OF-BLOCK-ITEM-STMT->STMT)
(C$::BLOCK-ITEM-AIDENTP-OF-BLOCK-ITEM-AMBIG)
(C$::AMB-DECLON/STMT-AIDENTP-OF-BLOCK-ITEM-AMBIG->DECLON/STMT)
(C$::BLOCK-ITEM-LIST-AIDENTP-WHEN-ATOM)
(C$::BLOCK-ITEM-LIST-AIDENTP-OF-CONS)
(C$::BLOCK-ITEM-LIST-AIDENTP-OF-APPEND
 (14 7 (:TYPE-PRESCRIPTION TRUE-LISTP-APPEND))
 (7 7 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (7 7 (:TYPE-PRESCRIPTION BINARY-APPEND))
 (7 7 (:REWRITE CDR-OF-APPEND-WHEN-CONSP))
 (6 6 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 )
(C$::BLOCK-ITEM-LIST-AIDENTP-OF-RCONS
 (3 3 (:REWRITE-QUOTED-CONSTANT C$::BLOCK-ITEM-LIST-FIX-UNDER-BLOCK-ITEM-LIST-EQUIV))
 (1 1 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (1 1 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 )
(C$::BLOCK-ITEM-AIDENTP-OF-CAR-WHEN-BLOCK-ITEM-LIST-AIDENTP)
(C$::BLOCK-ITEM-LIST-AIDENTP-OF-CDR-WHEN-BLOCK-ITEM-LIST-AIDENTP)
(C$::AMB-EXPR/TYNAME-AIDENTP-OF-AMB-EXPR/TYNAME)
(C$::EXPR-AIDENTP-OF-AMB-EXPR/TYNAME->EXPR)
(C$::TYNAME-AIDENTP-OF-AMB-EXPR/TYNAME->TYNAME)
(C$::AMB-DECLOR/ABSDECLOR-AIDENTP-OF-AMB-DECLOR/ABSDECLOR)
(C$::DECLOR-AIDENTP-OF-AMB-DECLOR/ABSDECLOR->DECLOR)
(C$::ABSDECLOR-AIDENTP-OF-AMB-DECLOR/ABSDECLOR->ABSDECLOR)
(C$::AMB-DECLON/STMT-AIDENTP-OF-AMB-DECLON/STMT)
(C$::DECLON-AIDENTP-OF-AMB-DECLON/STMT->DECLON)
(C$::EXPR-AIDENTP-OF-AMB-DECLON/STMT->EXPR)
(C$::FUNDEF-AIDENTP)
(C$::BOOLEANP-OF-FUNDEF-AIDENTP)
(C$::FUNDEF-AIDENTP)
(C$::FUNDEF-AIDENTP-OF-FUNDEF-FIX-FUNDEF
 (8 1 (:REWRITE C$::FUNDEF-FIX-WHEN-FUNDEFP))
 (5 1 (:REWRITE C$::FUNDEFP-WHEN-FUNDEF-OPTIONP))
 (3 3 (:TYPE-PRESCRIPTION C$::FUNDEFP))
 (2 2 (:TYPE-PRESCRIPTION C$::FUNDEF-OPTIONP))
 (2 1 (:REWRITE C$::FUNDEF-OPTIONP-WHEN-FUNDEFP))
 )
(C$::FUNDEF-AIDENTP-FUNDEF-EQUIV-CONGRUENCE-ON-FUNDEF)
(C$::FUNDEF-AIDENTP-OF-VERSION-FIX-VERSION
 (6 6 (:TYPE-PRESCRIPTION C::VERSION-KIND$INLINE))
 (3 1 (:REWRITE C::VERSION-FIX-WHEN-VERSIONP))
 (2 2 (:TYPE-PRESCRIPTION C::VERSIONP))
 (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$::FUNDEF-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::FUNDEF-AIDENTP-OF-FUNDEF)
(C$::DECL-SPEC-LIST-AIDENTP-OF-FUNDEF->SPECS)
(C$::DECLOR-AIDENTP-OF-FUNDEF->DECLOR)
(C$::ATTRIB-SPEC-LIST-AIDENTP-OF-FUNDEF->ATTRIBS)
(C$::DECLON-LIST-AIDENTP-OF-FUNDEF->DECLONS)
(C$::COMP-STMT-AIDENTP-OF-FUNDEF->BODY)
(C$::EXT-DECLON-AIDENTP)
(C$::BOOLEANP-OF-EXT-DECLON-AIDENTP)
(C$::EXT-DECLON-AIDENTP
 (10 10 (:REWRITE C$::EXT-DECLONP-WHEN-MEMBER-EQUAL-OF-EXT-DECLON-LISTP))
 )
(C$::EXT-DECLON-AIDENTP-OF-EXT-DECLON-FIX-EXT-DECLON
 (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$::EXT-DECLON-AIDENTP-EXT-DECLON-EQUIV-CONGRUENCE-ON-EXT-DECLON)
(C$::EXT-DECLON-AIDENTP-OF-VERSION-FIX-VERSION
 (6 6 (:TYPE-PRESCRIPTION C::VERSION-KIND$INLINE))
 (3 1 (:REWRITE C::VERSION-FIX-WHEN-VERSIONP))
 (2 2 (:TYPE-PRESCRIPTION C::VERSIONP))
 (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$::EXT-DECLON-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::EXT-DECLON-AIDENTP-OF-EXT-DECLON-FUNDEF)
(C$::FUNDEF-AIDENTP-OF-EXT-DECLON-FUNDEF->FUNDEF)
(C$::EXT-DECLON-AIDENTP-OF-EXT-DECLON-DECLON)
(C$::DECLON-AIDENTP-OF-EXT-DECLON-DECLON->DECLON)
(C$::EXT-DECLON-AIDENTP-WHEN-EMPTY)
(C$::EXT-DECLON-AIDENTP-OF-EXT-DECLON-ASM)
(C$::ASM-STMT-AIDENTP-OF-EXT-DECLON-ASM->STMT)
(C$::EXT-DECLON-LIST-AIDENTP)
(C$::BOOLEANP-OF-EXT-DECLON-LIST-AIDENTP)
(C$::EXT-DECLON-LIST-AIDENTP
 (1 1 (:REWRITE SUBSETP-TRANS2))
 (1 1 (:REWRITE SUBSETP-TRANS))
 (1 1 (:REWRITE C$::EXT-DECLON-LISTP-WHEN-NOT-CONSP))
 )
(C$::EXT-DECLON-LIST-AIDENTP-OF-EXT-DECLON-LIST-FIX-EXT-DECLON-LIST
 (195 26 (:REWRITE C$::EXT-DECLON-LIST-FIX-WHEN-EXT-DECLON-LISTP))
 (66 66 (:REWRITE C$::EXT-DECLON-LISTP-WHEN-SUBSETP-EQUAL))
 (42 7 (:REWRITE C$::EXT-DECLON-LISTP-OF-CDR-WHEN-EXT-DECLON-LISTP))
 (33 33 (:REWRITE C$::EXT-DECLON-LISTP-WHEN-NOT-CONSP))
 (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$::EXT-DECLON-LIST-AIDENTP-EXT-DECLON-LIST-EQUIV-CONGRUENCE-ON-EXT-DECLON-LIST)
(C$::EXT-DECLON-LIST-AIDENTP-OF-VERSION-FIX-VERSION
 (24 24 (:TYPE-PRESCRIPTION C::VERSION-KIND$INLINE))
 (12 4 (:REWRITE C::VERSION-FIX-WHEN-VERSIONP))
 (8 8 (:TYPE-PRESCRIPTION C::VERSIONP))
 (8 4 (:REWRITE C::VERSION-FIX-WHEN-C23+GCC))
 (8 4 (:REWRITE C::VERSION-FIX-WHEN-C23+CLANG))
 (8 4 (:REWRITE C::VERSION-FIX-WHEN-C23))
 (8 4 (:REWRITE C::VERSION-FIX-WHEN-C17+GCC))
 (8 4 (:REWRITE C::VERSION-FIX-WHEN-C17+CLANG))
 (8 4 (:REWRITE C::VERSION-FIX-WHEN-C17))
 )
(C$::EXT-DECLON-LIST-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::EXT-DECLON-LIST-AIDENTP-WHEN-ATOM)
(C$::EXT-DECLON-LIST-AIDENTP-OF-CONS)
(C$::EXT-DECLON-LIST-AIDENTP-OF-APPEND
 (6 3 (:TYPE-PRESCRIPTION TRUE-LISTP-APPEND))
 (3 3 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (3 3 (:TYPE-PRESCRIPTION BINARY-APPEND))
 (3 3 (:REWRITE CDR-OF-APPEND-WHEN-CONSP))
 (3 3 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 )
(C$::EXT-DECLON-LIST-AIDENTP-OF-RCONS
 (3 3 (:REWRITE-QUOTED-CONSTANT C$::EXT-DECLON-LIST-FIX-UNDER-EXT-DECLON-LIST-EQUIV))
 (1 1 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (1 1 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 )
(C$::EXT-DECLON-AIDENTP-OF-CAR-WHEN-EXT-DECLON-LIST-AIDENTP)
(C$::EXT-DECLON-LIST-AIDENTP-OF-CDR-WHEN-EXT-DECLON-LIST-AIDENTP)
(C$::TRANS-ITEM-AIDENTP)
(C$::BOOLEANP-OF-TRANS-ITEM-AIDENTP)
(C$::TRANS-ITEM-AIDENTP)
(C$::TRANS-ITEM-AIDENTP-OF-TRANS-ITEM-FIX-TRANS-ITEM
 (5 1 (:REWRITE C$::TRANS-ITEM-FIX-WHEN-TRANS-ITEMP))
 (2 2 (:TYPE-PRESCRIPTION C$::TRANS-ITEMP))
 (2 2 (:REWRITE C$::TRANS-ITEMP-WHEN-MEMBER-EQUAL-OF-TRANS-ITEM-LISTP))
 )
(C$::TRANS-ITEM-AIDENTP-TRANS-ITEM-EQUIV-CONGRUENCE-ON-TRANS-ITEM)
(C$::TRANS-ITEM-AIDENTP-OF-VERSION-FIX-VERSION
 (6 6 (:TYPE-PRESCRIPTION C::VERSION-KIND$INLINE))
 (3 1 (:REWRITE C::VERSION-FIX-WHEN-VERSIONP))
 (2 2 (:TYPE-PRESCRIPTION C::VERSIONP))
 (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$::TRANS-ITEM-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::TRANS-ITEM-AIDENTP-OF-TRANS-ITEM-DECLON
 (2 1 (:REWRITE C$::EXT-DECLON-FIX-WHEN-EMPTY))
 )
(C$::EXT-DECLON-AIDENTP-OF-TRANS-ITEM-DECLON->DECLON)
(C$::TRANS-ITEM-AIDENTP-OF-TRANS-ITEM-INCLUDE)
(C$::TRANS-ITEM-AIDENTP-OF-TRANS-ITEM-LINE-COMMENT)
(C$::TRANS-ITEM-LIST-AIDENTP)
(C$::BOOLEANP-OF-TRANS-ITEM-LIST-AIDENTP)
(C$::TRANS-ITEM-LIST-AIDENTP
 (1 1 (:REWRITE C$::TRANS-ITEM-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE SUBSETP-TRANS2))
 (1 1 (:REWRITE SUBSETP-TRANS))
 )
(C$::TRANS-ITEM-LIST-AIDENTP-OF-TRANS-ITEM-LIST-FIX-TRANS-ITEM-LIST
 (195 26 (:REWRITE C$::TRANS-ITEM-LIST-FIX-WHEN-TRANS-ITEM-LISTP))
 (66 66 (:REWRITE C$::TRANS-ITEM-LISTP-WHEN-SUBSETP-EQUAL))
 (42 7 (:REWRITE C$::TRANS-ITEM-LISTP-OF-CDR-WHEN-TRANS-ITEM-LISTP))
 (33 33 (:REWRITE C$::TRANS-ITEM-LISTP-WHEN-NOT-CONSP))
 (5 1 (:REWRITE C$::TRANS-ITEM-FIX-WHEN-TRANS-ITEMP))
 (2 2 (:TYPE-PRESCRIPTION C$::TRANS-ITEMP))
 (2 2 (:REWRITE C$::TRANS-ITEMP-WHEN-MEMBER-EQUAL-OF-TRANS-ITEM-LISTP))
 )
(C$::TRANS-ITEM-LIST-AIDENTP-TRANS-ITEM-LIST-EQUIV-CONGRUENCE-ON-TRANS-ITEM-LIST)
(C$::TRANS-ITEM-LIST-AIDENTP-OF-VERSION-FIX-VERSION
 (24 24 (:TYPE-PRESCRIPTION C::VERSION-KIND$INLINE))
 (12 4 (:REWRITE C::VERSION-FIX-WHEN-VERSIONP))
 (8 8 (:TYPE-PRESCRIPTION C::VERSIONP))
 (8 4 (:REWRITE C::VERSION-FIX-WHEN-C23+GCC))
 (8 4 (:REWRITE C::VERSION-FIX-WHEN-C23+CLANG))
 (8 4 (:REWRITE C::VERSION-FIX-WHEN-C23))
 (8 4 (:REWRITE C::VERSION-FIX-WHEN-C17+GCC))
 (8 4 (:REWRITE C::VERSION-FIX-WHEN-C17+CLANG))
 (8 4 (:REWRITE C::VERSION-FIX-WHEN-C17))
 )
(C$::TRANS-ITEM-LIST-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::TRANS-ITEM-LIST-AIDENTP-WHEN-ATOM)
(C$::TRANS-ITEM-LIST-AIDENTP-OF-CONS)
(C$::TRANS-ITEM-LIST-AIDENTP-OF-APPEND
 (6 3 (:TYPE-PRESCRIPTION TRUE-LISTP-APPEND))
 (3 3 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (3 3 (:TYPE-PRESCRIPTION BINARY-APPEND))
 (3 3 (:REWRITE CDR-OF-APPEND-WHEN-CONSP))
 (3 3 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 )
(C$::TRANS-ITEM-LIST-AIDENTP-OF-RCONS
 (3 3 (:REWRITE-QUOTED-CONSTANT C$::TRANS-ITEM-LIST-FIX-UNDER-TRANS-ITEM-LIST-EQUIV))
 (1 1 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (1 1 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 )
(C$::TRANS-ITEM-AIDENTP-OF-CAR-WHEN-TRANS-ITEM-LIST-AIDENTP)
(C$::TRANS-ITEM-LIST-AIDENTP-OF-CDR-WHEN-TRANS-ITEM-LIST-AIDENTP)
(C$::TRANSUNIT-AIDENTP)
(C$::BOOLEANP-OF-TRANSUNIT-AIDENTP)
(C$::TRANSUNIT-AIDENTP)
(C$::TRANSUNIT-AIDENTP-OF-TRANSUNIT-FIX-TRANSUNIT)
(C$::TRANSUNIT-AIDENTP-TRANSUNIT-EQUIV-CONGRUENCE-ON-TRANSUNIT)
(C$::TRANSUNIT-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::TRANSUNIT-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::TRANSUNIT-AIDENTP-OF-TRANSUNIT)
(C$::TRANS-ITEM-LIST-AIDENTP-OF-TRANSUNIT->ITEMS)
(C$::FILEPATH-TRANSUNIT-MAP-AIDENTP
 (3 3 (:TYPE-PRESCRIPTION OMAP::TAIL-WHEN-EMPTYP))
 )
(C$::BOOLEANP-OF-FILEPATH-TRANSUNIT-MAP-AIDENTP)
(C$::FILEPATH-TRANSUNIT-MAP-AIDENTP
 (1 1 (:TYPE-PRESCRIPTION OMAP::HEAD-VALUE-WHEN-EMPTYP))
 )
(C$::FILEPATH-TRANSUNIT-MAP-AIDENTP-OF-FILEPATH-TRANSUNIT-MAP-FIX-FILEPATH-TRANSUNIT-MAP
 (16 10 (:REWRITE OMAP::MAPP-NON-NIL-IMPLIES-NOT-EMPTYP))
 (7 7 (:REWRITE OMAP::HEAD-WHEN-EMPTYP-CHEAP))
 (7 7 (:REWRITE OMAP::HEAD-VALUE-WHEN-EMPTYP))
 (3 1 (:REWRITE C$::MAPP-WHEN-FILEPATH-TRANSUNIT-MAPP))
 (2 2 (:TYPE-PRESCRIPTION OMAP::TAIL-WHEN-EMPTYP))
 (2 2 (:REWRITE OMAP::TAIL-WHEN-EMPTYP))
 )
(C$::FILEPATH-TRANSUNIT-MAP-AIDENTP-FILEPATH-TRANSUNIT-MAP-EQUIV-CONGRUENCE-ON-FILEPATH-TRANSUNIT-MAP)
(C$::FILEPATH-TRANSUNIT-MAP-AIDENTP-OF-VERSION-FIX-VERSION
 (30 30 (:TYPE-PRESCRIPTION C::VERSION-KIND$INLINE))
 (16 10 (:REWRITE OMAP::MAPP-NON-NIL-IMPLIES-NOT-EMPTYP))
 (15 5 (:REWRITE C::VERSION-FIX-WHEN-VERSIONP))
 (10 10 (:TYPE-PRESCRIPTION C::VERSIONP))
 (10 5 (:REWRITE C::VERSION-FIX-WHEN-C23+GCC))
 (10 5 (:REWRITE C::VERSION-FIX-WHEN-C23+CLANG))
 (10 5 (:REWRITE C::VERSION-FIX-WHEN-C23))
 (10 5 (:REWRITE C::VERSION-FIX-WHEN-C17+GCC))
 (10 5 (:REWRITE C::VERSION-FIX-WHEN-C17+CLANG))
 (10 5 (:REWRITE C::VERSION-FIX-WHEN-C17))
 (7 7 (:REWRITE OMAP::HEAD-WHEN-EMPTYP-CHEAP))
 (7 7 (:REWRITE OMAP::HEAD-VALUE-WHEN-EMPTYP))
 (3 3 (:REWRITE OMAP::TAIL-WHEN-EMPTYP))
 (3 1 (:REWRITE C$::MAPP-WHEN-FILEPATH-TRANSUNIT-MAPP))
 (2 2 (:TYPE-PRESCRIPTION OMAP::TAIL-WHEN-EMPTYP))
 (2 2 (:REWRITE C$::FILEPATH-TRANSUNIT-MAPP-OF-TAIL))
 )
(C$::FILEPATH-TRANSUNIT-MAP-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::FILEPATH-TRANSUNIT-MAP-AIDENTP-WHEN-EMPTYP
 (19 3 (:REWRITE OMAP::MAPP-NON-NIL-IMPLIES-NOT-EMPTYP))
 (5 5 (:TYPE-PRESCRIPTION OMAP::MAPP))
 (5 1 (:REWRITE OMAP::MFIX-IMPLIES-MAPP))
 (5 1 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTYP))
 (4 2 (:REWRITE C$::MAPP-WHEN-FILEPATH-TRANSUNIT-MAPP))
 (2 2 (:TYPE-PRESCRIPTION OMAP::MFIX))
 (2 1 (:REWRITE OMAP::MFIX-WHEN-MAPP))
 )
(C$::FILEPATH-TRANSUNIT-MAP-AIDENTP-OF-TAIL
 (2 2 (:REWRITE OMAP::MAPP-NON-NIL-IMPLIES-NOT-EMPTYP))
 (1 1 (:REWRITE-QUOTED-CONSTANT C$::FILEPATH-TRANSUNIT-MAP-FIX-UNDER-FILEPATH-TRANSUNIT-MAP-EQUIV))
 (1 1 (:REWRITE OMAP::HEAD-WHEN-EMPTYP-CHEAP))
 (1 1 (:REWRITE OMAP::HEAD-VALUE-WHEN-EMPTYP))
 )
(C$::FILEPATH-TRANSUNIT-MAP-AIDENTP-OF-UPDATE
 (5620 66 (:DEFINITION OMAP::MAPP))
 (3974 66 (:DEFINITION OMAP::MFIX))
 (3774 423 (:REWRITE OMAP::MFIX-WHEN-EMPTYP))
 (1872 212 (:REWRITE OMAP::MFIX-IMPLIES-MAPP))
 (1286 1017 (:REWRITE <<-TRANSITIVE))
 (1086 356 (:REWRITE C$::FILEPATHP-OF-CAR-WHEN-FILEPATH-LISTP))
 (750 6 (:REWRITE OMAP::WEAK-UPDATE-INDUCTION-HELPER-3))
 (715 16 (:REWRITE OMAP::ASSOC-WHEN-EMPTYP))
 (688 220 (:REWRITE OMAP::MAPP-WHEN-NOT-EMPTYP))
 (666 666 (:TYPE-PRESCRIPTION OMAP::MFIX))
 (598 51 (:REWRITE OMAP::TAIL-WHEN-EMPTYP))
 (594 6 (:REWRITE OMAP::WEAK-UPDATE-INDUCTION-HELPER-1))
 (515 26 (:REWRITE OMAP::UPDATE-WHEN-EMPTYP))
 (437 31 (:REWRITE C$::FILEPATH-TRANSUNIT-MAPP-OF-UPDATE))
 (411 411 (:REWRITE C$::FILEPATHP-WHEN-IN-FILEPATH-SETP-BINDS-FREE-X))
 (411 411 (:REWRITE C$::FILEPATHP-WHEN-ASSOC-FILEPATH-TRANSUNIT-MAPP-BINDS-FREE-X))
 (346 86 (:REWRITE C$::FILEPATH-TRANSUNIT-MAPP-OF-TAIL))
 (322 161 (:TYPE-PRESCRIPTION OMAP::TAIL-WHEN-EMPTYP))
 (260 6 (:REWRITE OMAP::TAIL-OF-UPDATE-<<-REV))
 (246 6 (:REWRITE OMAP::TAIL-OF-UPDATE-EMPTYP))
 (226 226 (:REWRITE C$::FILEPATH-LISTP-WHEN-NOT-CONSP))
 (182 48 (:TYPE-PRESCRIPTION OMAP::ASSOC-WHEN-EMPTYP))
 (144 72 (:REWRITE OMAP::HEAD-WHEN-EMPTYP-CHEAP))
 (114 16 (:REWRITE OMAP::ASSOC-WHEN-ASSOC-TAIL))
 (102 6 (:REWRITE OMAP::WEAK-UPDATE-INDUCTION-HELPER-2))
 (57 6 (:REWRITE OMAP::TAIL-OF-UPDATE-<<))
 (48 48 (:TYPE-PRESCRIPTION OMAP::ASSOC))
 (45 6 (:REWRITE OMAP::TAIL-OF-UPDATE-EQUAL))
 (30 30 (:REWRITE <<-IRREFLEXIVE))
 (16 15 (:TYPE-PRESCRIPTION OMAP::HEAD-KEY-WHEN-EMPTYP))
 (9 9 (:REWRITE-QUOTED-CONSTANT C$::FILEPATH-TRANSUNIT-MAP-FIX-UNDER-FILEPATH-TRANSUNIT-MAP-EQUIV))
 (4 4 (:REWRITE-QUOTED-CONSTANT TRUE-LIST-LIST-FIX-UNDER-TRUE-LIST-LIST-EQUIV))
 )
(C$::TRANSUNIT-AIDENTP-OF-HEAD-WHEN-FILEPATH-TRANSUNIT-MAP-AIDENTP
 (1 1 (:REWRITE OMAP::MAPP-NON-NIL-IMPLIES-NOT-EMPTYP))
 (1 1 (:REWRITE OMAP::HEAD-WHEN-EMPTYP-CHEAP))
 (1 1 (:REWRITE OMAP::HEAD-VALUE-WHEN-EMPTYP))
 )
(C$::TRANSUNIT-ENSEMBLE-AIDENTP)
(C$::BOOLEANP-OF-TRANSUNIT-ENSEMBLE-AIDENTP)
(C$::TRANSUNIT-ENSEMBLE-AIDENTP)
(C$::TRANSUNIT-ENSEMBLE-AIDENTP-OF-TRANSUNIT-ENSEMBLE-FIX-TRANSUNIT-ENSEMBLE)
(C$::TRANSUNIT-ENSEMBLE-AIDENTP-TRANSUNIT-ENSEMBLE-EQUIV-CONGRUENCE-ON-TRANSUNIT-ENSEMBLE)
(C$::TRANSUNIT-ENSEMBLE-AIDENTP-OF-VERSION-FIX-VERSION)
(C$::TRANSUNIT-ENSEMBLE-AIDENTP-VERSION-EQUIV-CONGRUENCE-ON-VERSION)
(C$::TRANSUNIT-ENSEMBLE-AIDENTP-OF-TRANSUNIT-ENSEMBLE)
(C$::FILEPATH-TRANSUNIT-MAP-AIDENTP-OF-TRANSUNIT-ENSEMBLE->UNITS)
(C$::CODE-ENSEMBLE-AIDENTP)
(C$::BOOLEANP-OF-CODE-ENSEMBLE-AIDENTP)
(C$::CODE-ENSEMBLE-AIDENTP-OF-CODE-ENSEMBLE-FIX-CODE)
(C$::CODE-ENSEMBLE-AIDENTP-CODE-ENSEMBLE-EQUIV-CONGRUENCE-ON-CODE)
