(C::ATC-DEF-INTEGER-CONVERSION
 (18396 982 (:DEFINITION BINARY-APPEND))
 (8176 5095 (:REWRITE DEFAULT-CAR))
 (7242 3928 (:REWRITE STR::CONSP-OF-EXPLODE))
 (6966 3885 (:REWRITE DEFAULT-CDR))
 (3748 1784 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 (2420 605 (:REWRITE INTERN-IN-PACKAGE-OF-SYMBOL-IS-IDENTITY))
 (1815 847 (:REWRITE DEFAULT-SYMBOL-NAME))
 (1266 996 (:REWRITE STR::EXPLODE-WHEN-NOT-STRINGP))
 (1210 1210 (:TYPE-PRESCRIPTION MEMBER-SYMBOL-NAME))
 (1210 605 (:REWRITE DEFAULT-INTERN-IN-PACKAGE-OF-SYMBOL))
 (946 946 (:REWRITE C::TYPE-OPTIONP-WHEN-IN-TYPE-OPTION-SETP-BINDS-FREE-X))
 (726 726 (:TYPE-PRESCRIPTION PACKN1))
 (484 484 (:REWRITE C::TYPEP-WHEN-IN-TYPE-SETP-BINDS-FREE-X))
 (144 144 (:REWRITE SUBSETP-MEMBER . 4))
 (144 144 (:REWRITE SUBSETP-MEMBER . 3))
 (144 144 (:REWRITE SUBSETP-MEMBER . 2))
 (144 144 (:REWRITE SUBSETP-MEMBER . 1))
 (144 144 (:REWRITE INTERSECTP-MEMBER . 3))
 (144 144 (:REWRITE INTERSECTP-MEMBER . 2))
 (135 135 (:TYPE-PRESCRIPTION STRING-APPEND-LST))
 )
(C::PSEUDO-EVENT-FORMP-OF-ATC-DEF-INTEGER-CONVERSION
 (457 22 (:DEFINITION BINARY-APPEND))
 (338 2 (:REWRITE SYMBOLP-OF-CAR-WHEN-SYMBOL-LISTP))
 (266 1 (:DEFINITION SYMBOL-LISTP))
 (252 88 (:REWRITE STR::CONSP-OF-EXPLODE))
 (162 50 (:REWRITE DEFAULT-CAR))
 (144 49 (:REWRITE DEFAULT-CDR))
 (80 44 (:DEFINITION NOT))
 (70 2 (:REWRITE SYMBOL-LISTP-WHEN-NOT-CONSP))
 (66 28 (:REWRITE APPEND-ATOM-UNDER-LIST-EQUIV))
 (56 32 (:REWRITE STR::EXPLODE-WHEN-NOT-STRINGP))
 (32 8 (:REWRITE INTERN-IN-PACKAGE-OF-SYMBOL-IS-IDENTITY))
 (22 10 (:REWRITE DEFAULT-SYMBOL-NAME))
 (19 1 (:REWRITE SYMBOL-LISTP-OF-CDR-WHEN-SYMBOL-LISTP))
 (16 16 (:TYPE-PRESCRIPTION MEMBER-SYMBOL-NAME))
 (16 8 (:REWRITE DEFAULT-INTERN-IN-PACKAGE-OF-SYMBOL))
 (12 12 (:TYPE-PRESCRIPTION STRING-APPEND-LST))
 (12 12 (:REWRITE SUBSETP-MEMBER . 4))
 (12 12 (:REWRITE SUBSETP-MEMBER . 3))
 (12 12 (:REWRITE SUBSETP-MEMBER . 2))
 (12 12 (:REWRITE SUBSETP-MEMBER . 1))
 (12 12 (:REWRITE INTERSECTP-MEMBER . 3))
 (12 12 (:REWRITE INTERSECTP-MEMBER . 2))
 (7 7 (:TYPE-PRESCRIPTION SYMBOL-LISTP))
 (6 6 (:TYPE-PRESCRIPTION PACKN1))
 )
(C::ATC-DEF-INTEGER-CONVERSIONS-LOOP-INNER
 (16 4 (:REWRITE C::TYPE-INTEGERP-WHEN-TYPE-INTEGER-NONBOOL-NONCHAR-P))
 (14 14 (:REWRITE DEFAULT-CAR))
 (8 8 (:TYPE-PRESCRIPTION C::TYPE-INTEGER-NONBOOL-NONCHAR-P))
 (5 5 (:REWRITE C::TYPE-LISTP-WHEN-NOT-CONSP))
 (5 5 (:REWRITE C::TYPE-INTEGER-LISTP-WHEN-NOT-CONSP))
 (4 4 (:REWRITE C::TYPEP-WHEN-IN-TYPE-SETP-BINDS-FREE-X))
 (4 4 (:REWRITE C::TYPE-OPTIONP-WHEN-IN-TYPE-OPTION-SETP-BINDS-FREE-X))
 (4 4 (:REWRITE DEFAULT-CDR))
 (4 1 (:REWRITE C::TYPE-OPTIONP-OF-CAR-WHEN-TYPE-OPTION-LISTP))
 (4 1 (:REWRITE C::TYPE-INTEGER-NONBOOL-NONCHAR-P-OF-CAR-WHEN-TYPE-INTEGER-NONBOOL-NONCHAR-LISTP))
 (1 1 (:REWRITE C::TYPE-OPTION-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE C::TYPE-INTEGER-NONBOOL-NONCHAR-LISTP-WHEN-NOT-CONSP))
 )
(C::PSEUDO-EVENT-FORM-LISTP-OF-ATC-DEF-INTEGER-CONVERSIONS-LOOP-INNER
 (2327 14 (:DEFINITION PSEUDO-EVENT-FORM-LISTP))
 (1624 14 (:DEFINITION PSEUDO-EVENT-FORMP))
 (896 56 (:REWRITE SET::SETS-ARE-TRUE-LISTS-CHEAP))
 (826 28 (:REWRITE TRUE-LISTP-OF-CAR-WHEN-TRUE-LIST-LISTP))
 (742 14 (:DEFINITION TRUE-LIST-LISTP))
 (546 28 (:DEFINITION TRUE-LISTP))
 (294 28 (:REWRITE SYMBOLP-OF-CAR-WHEN-SYMBOL-LISTP))
 (210 14 (:DEFINITION SYMBOL-LISTP))
 (178 28 (:REWRITE PSEUDO-EVENT-FORMP-WHEN-MEMBER-EQUAL-OF-PSEUDO-EVENT-FORM-LISTP))
 (170 14 (:REWRITE PSEUDO-EVENT-FORMP-OF-CAR-WHEN-PSEUDO-EVENT-FORM-LISTP))
 (168 14 (:REWRITE PSEUDO-EVENT-FORM-LISTP-OF-CDR-WHEN-PSEUDO-EVENT-FORM-LISTP))
 (112 112 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (112 56 (:REWRITE C::SETP-WHEN-TYPE-SETP))
 (112 56 (:REWRITE C::SETP-WHEN-TYPE-OPTION-SETP))
 (112 56 (:REWRITE OMAP::SETP-WHEN-MAPP))
 (112 56 (:REWRITE C::SETP-WHEN-IDENT-SETP))
 (112 56 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (100 57 (:REWRITE PSEUDO-EVENT-FORM-LISTP-WHEN-NOT-CONSP))
 (97 6 (:DEFINITION MEMBER-EQUAL))
 (87 87 (:REWRITE DEFAULT-CDR))
 (83 83 (:REWRITE DEFAULT-CAR))
 (80 10 (:REWRITE SUBSETP-CAR-MEMBER))
 (65 35 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (56 56 (:TYPE-PRESCRIPTION C::TYPE-SETP))
 (56 56 (:TYPE-PRESCRIPTION C::TYPE-OPTION-SETP))
 (56 56 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (56 56 (:TYPE-PRESCRIPTION OMAP::MAPP))
 (56 56 (:TYPE-PRESCRIPTION C::IDENT-SETP))
 (56 56 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (56 56 (:REWRITE SET::IN-SET))
 (50 35 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (45 5 (:REWRITE SUBSETP-IMPLIES-SUBSETP-CDR))
 (39 39 (:REWRITE SUBSETP-TRANS2))
 (39 39 (:REWRITE SUBSETP-TRANS))
 (31 31 (:TYPE-PRESCRIPTION MEMBER-EQUAL))
 (28 28 (:REWRITE TRUE-LIST-LISTP-WHEN-NOT-CONSP))
 (28 28 (:REWRITE SYMBOL-LISTP-WHEN-NOT-CONSP))
 (28 14 (:REWRITE TRUE-LIST-LISTP-OF-CDR-WHEN-TRUE-LIST-LISTP))
 (28 14 (:REWRITE SYMBOL-LISTP-OF-CDR-WHEN-SYMBOL-LISTP))
 (21 1 (:REWRITE SUBSETP-OF-CONS))
 (12 12 (:REWRITE SUBSETP-MEMBER . 2))
 (12 12 (:REWRITE SUBSETP-MEMBER . 1))
 (2 2 (:TYPE-PRESCRIPTION C::ATC-DEF-INTEGER-CONVERSION))
 )
(C::ATC-DEF-INTEGER-CONVERSIONS-LOOP-OUTER
 (13 2 (:REWRITE C::TYPEP-WHEN-TYPE-OPTIONP))
 (7 1 (:REWRITE C::TYPE-INTEGERP-WHEN-TYPE-INTEGER-NONBOOL-NONCHAR-P))
 (6 1 (:REWRITE C::TYPE-OPTIONP-WHEN-TYPEP))
 (5 5 (:REWRITE C::TYPE-LISTP-WHEN-NOT-CONSP))
 (5 5 (:REWRITE C::TYPE-INTEGER-LISTP-WHEN-NOT-CONSP))
 (4 1 (:REWRITE C::TYPE-OPTIONP-OF-CAR-WHEN-TYPE-OPTION-LISTP))
 (4 1 (:REWRITE C::TYPE-INTEGER-NONBOOL-NONCHAR-P-OF-CAR-WHEN-TYPE-INTEGER-NONBOOL-NONCHAR-LISTP))
 (3 3 (:REWRITE DEFAULT-CAR))
 (2 2 (:TYPE-PRESCRIPTION C::TYPE-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION C::TYPE-INTEGER-NONBOOL-NONCHAR-P))
 (2 2 (:REWRITE C::TYPEP-WHEN-IN-TYPE-SETP-BINDS-FREE-X))
 (2 2 (:REWRITE DEFAULT-CDR))
 (1 1 (:TYPE-PRESCRIPTION C::TYPEP))
 (1 1 (:REWRITE C::TYPE-OPTIONP-WHEN-IN-TYPE-OPTION-SETP-BINDS-FREE-X))
 (1 1 (:REWRITE C::TYPE-OPTION-LISTP-WHEN-NOT-CONSP))
 (1 1 (:REWRITE C::TYPE-INTEGER-NONBOOL-NONCHAR-LISTP-WHEN-NOT-CONSP))
 )
(C::PSEUDO-EVENT-FORM-LISTP-OF-ATC-DEF-INTEGER-CONVERSIONS-LOOP-OUTER
 (1130 7 (:DEFINITION PSEUDO-EVENT-FORM-LISTP))
 (812 7 (:DEFINITION PSEUDO-EVENT-FORMP))
 (448 28 (:REWRITE SET::SETS-ARE-TRUE-LISTS-CHEAP))
 (413 14 (:REWRITE TRUE-LISTP-OF-CAR-WHEN-TRUE-LIST-LISTP))
 (371 7 (:DEFINITION TRUE-LIST-LISTP))
 (273 14 (:DEFINITION TRUE-LISTP))
 (147 14 (:REWRITE SYMBOLP-OF-CAR-WHEN-SYMBOL-LISTP))
 (105 7 (:DEFINITION SYMBOL-LISTP))
 (82 7 (:REWRITE PSEUDO-EVENT-FORMP-OF-CAR-WHEN-PSEUDO-EVENT-FORM-LISTP))
 (76 7 (:REWRITE PSEUDO-EVENT-FORM-LISTP-OF-CDR-WHEN-PSEUDO-EVENT-FORM-LISTP))
 (74 14 (:REWRITE PSEUDO-EVENT-FORMP-WHEN-MEMBER-EQUAL-OF-PSEUDO-EVENT-FORM-LISTP))
 (56 56 (:TYPE-PRESCRIPTION SET::SETP-TYPE))
 (56 28 (:REWRITE C::SETP-WHEN-TYPE-SETP))
 (56 28 (:REWRITE C::SETP-WHEN-TYPE-OPTION-SETP))
 (56 28 (:REWRITE OMAP::SETP-WHEN-MAPP))
 (56 28 (:REWRITE C::SETP-WHEN-IDENT-SETP))
 (56 28 (:REWRITE SET::NONEMPTY-MEANS-SET))
 (49 28 (:REWRITE PSEUDO-EVENT-FORM-LISTP-WHEN-NOT-CONSP))
 (40 40 (:REWRITE DEFAULT-CDR))
 (34 17 (:REWRITE SUBSETP-WHEN-ATOM-RIGHT))
 (34 2 (:DEFINITION MEMBER-EQUAL))
 (32 32 (:REWRITE DEFAULT-CAR))
 (32 4 (:REWRITE SUBSETP-CAR-MEMBER))
 (32 1 (:REWRITE SUBSETP-APPEND1))
 (29 19 (:REWRITE SUBSETP-TRANS2))
 (28 28 (:TYPE-PRESCRIPTION C::TYPE-SETP))
 (28 28 (:TYPE-PRESCRIPTION C::TYPE-OPTION-SETP))
 (28 28 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (28 28 (:TYPE-PRESCRIPTION OMAP::MAPP))
 (28 28 (:TYPE-PRESCRIPTION C::IDENT-SETP))
 (28 28 (:TYPE-PRESCRIPTION SET::EMPTY-TYPE))
 (28 28 (:REWRITE SET::IN-SET))
 (28 17 (:REWRITE SUBSETP-WHEN-ATOM-LEFT))
 (19 19 (:REWRITE SUBSETP-TRANS))
 (18 2 (:REWRITE SUBSETP-IMPLIES-SUBSETP-CDR))
 (14 14 (:REWRITE TRUE-LIST-LISTP-WHEN-NOT-CONSP))
 (14 14 (:REWRITE SYMBOL-LISTP-WHEN-NOT-CONSP))
 (14 7 (:REWRITE TRUE-LIST-LISTP-OF-CDR-WHEN-TRUE-LIST-LISTP))
 (14 7 (:REWRITE SYMBOL-LISTP-OF-CDR-WHEN-SYMBOL-LISTP))
 (10 10 (:TYPE-PRESCRIPTION MEMBER-EQUAL))
 (6 1 (:DEFINITION BINARY-APPEND))
 (5 2 (:REWRITE APPEND-WHEN-NOT-CONSP))
 (4 4 (:REWRITE SUBSETP-MEMBER . 2))
 (4 4 (:REWRITE SUBSETP-MEMBER . 1))
 )
(C::UCHAR-FROM-SCHAR)
(C::UCHARP-OF-UCHAR-FROM-SCHAR)
(C::UCHAR-FROM-SCHAR-OF-SCHAR-FIX-X)
(C::UCHAR-FROM-SCHAR-SCHAR-EQUIV-CONGRUENCE-ON-X)
(C::SSHORT-FROM-SCHAR
 (5 2 (:REWRITE DEFAULT-<-2))
 (5 2 (:REWRITE DEFAULT-<-1))
 (4 4 (:REWRITE C::SCHARP-WHEN-MEMBER-EQUAL-OF-SCHAR-LISTP))
 )
(C::SSHORTP-OF-SSHORT-FROM-SCHAR)
(C::SSHORT-FROM-SCHAR-OF-SCHAR-FIX-X)
(C::SSHORT-FROM-SCHAR-SCHAR-EQUIV-CONGRUENCE-ON-X)
(C::USHORT-FROM-SCHAR)
(C::USHORTP-OF-USHORT-FROM-SCHAR)
(C::USHORT-FROM-SCHAR-OF-SCHAR-FIX-X)
(C::USHORT-FROM-SCHAR-SCHAR-EQUIV-CONGRUENCE-ON-X)
(C::SINT-FROM-SCHAR
 (5 2 (:REWRITE DEFAULT-<-2))
 (5 2 (:REWRITE DEFAULT-<-1))
 (4 4 (:REWRITE C::SCHARP-WHEN-MEMBER-EQUAL-OF-SCHAR-LISTP))
 )
(C::SINTP-OF-SINT-FROM-SCHAR)
(C::SINT-FROM-SCHAR-OF-SCHAR-FIX-X)
(C::SINT-FROM-SCHAR-SCHAR-EQUIV-CONGRUENCE-ON-X)
(C::UINT-FROM-SCHAR)
(C::UINTP-OF-UINT-FROM-SCHAR)
(C::UINT-FROM-SCHAR-OF-SCHAR-FIX-X)
(C::UINT-FROM-SCHAR-SCHAR-EQUIV-CONGRUENCE-ON-X)
(C::SLONG-FROM-SCHAR
 (5 2 (:REWRITE DEFAULT-<-2))
 (5 2 (:REWRITE DEFAULT-<-1))
 (4 4 (:REWRITE C::SCHARP-WHEN-MEMBER-EQUAL-OF-SCHAR-LISTP))
 )
(C::SLONGP-OF-SLONG-FROM-SCHAR)
(C::SLONG-FROM-SCHAR-OF-SCHAR-FIX-X)
(C::SLONG-FROM-SCHAR-SCHAR-EQUIV-CONGRUENCE-ON-X)
(C::ULONG-FROM-SCHAR)
(C::ULONGP-OF-ULONG-FROM-SCHAR)
(C::ULONG-FROM-SCHAR-OF-SCHAR-FIX-X)
(C::ULONG-FROM-SCHAR-SCHAR-EQUIV-CONGRUENCE-ON-X)
(C::SLLONG-FROM-SCHAR
 (5 2 (:REWRITE DEFAULT-<-2))
 (5 2 (:REWRITE DEFAULT-<-1))
 (4 4 (:REWRITE C::SCHARP-WHEN-MEMBER-EQUAL-OF-SCHAR-LISTP))
 )
(C::SLLONGP-OF-SLLONG-FROM-SCHAR)
(C::SLLONG-FROM-SCHAR-OF-SCHAR-FIX-X)
(C::SLLONG-FROM-SCHAR-SCHAR-EQUIV-CONGRUENCE-ON-X)
(C::ULLONG-FROM-SCHAR)
(C::ULLONGP-OF-ULLONG-FROM-SCHAR)
(C::ULLONG-FROM-SCHAR-OF-SCHAR-FIX-X)
(C::ULLONG-FROM-SCHAR-SCHAR-EQUIV-CONGRUENCE-ON-X)
(C::SCHAR-FROM-UCHAR-OKP)
(C::BOOLEANP-OF-SCHAR-FROM-UCHAR-OKP)
(C::SCHAR-FROM-UCHAR-OKP-OF-UCHAR-FIX-X)
(C::SCHAR-FROM-UCHAR-OKP-UCHAR-EQUIV-CONGRUENCE-ON-X)
(C::SCHAR-FROM-UCHAR)
(C::SCHARP-OF-SCHAR-FROM-UCHAR)
(C::SCHAR-FROM-UCHAR-OF-UCHAR-FIX-X)
(C::SCHAR-FROM-UCHAR-UCHAR-EQUIV-CONGRUENCE-ON-X)
(C::SSHORT-FROM-UCHAR-OKP)
(C::BOOLEANP-OF-SSHORT-FROM-UCHAR-OKP)
(C::SSHORT-FROM-UCHAR-OKP-OF-UCHAR-FIX-X)
(C::SSHORT-FROM-UCHAR-OKP-UCHAR-EQUIV-CONGRUENCE-ON-X)
(C::SSHORT-FROM-UCHAR)
(C::SSHORTP-OF-SSHORT-FROM-UCHAR)
(C::SSHORT-FROM-UCHAR-OF-UCHAR-FIX-X)
(C::SSHORT-FROM-UCHAR-UCHAR-EQUIV-CONGRUENCE-ON-X)
(C::USHORT-FROM-UCHAR)
(C::USHORTP-OF-USHORT-FROM-UCHAR)
(C::USHORT-FROM-UCHAR-OF-UCHAR-FIX-X)
(C::USHORT-FROM-UCHAR-UCHAR-EQUIV-CONGRUENCE-ON-X)
(C::SINT-FROM-UCHAR-OKP)
(C::BOOLEANP-OF-SINT-FROM-UCHAR-OKP)
(C::SINT-FROM-UCHAR-OKP-OF-UCHAR-FIX-X)
(C::SINT-FROM-UCHAR-OKP-UCHAR-EQUIV-CONGRUENCE-ON-X)
(C::SINT-FROM-UCHAR)
(C::SINTP-OF-SINT-FROM-UCHAR)
(C::SINT-FROM-UCHAR-OF-UCHAR-FIX-X)
(C::SINT-FROM-UCHAR-UCHAR-EQUIV-CONGRUENCE-ON-X)
(C::UINT-FROM-UCHAR)
(C::UINTP-OF-UINT-FROM-UCHAR)
(C::UINT-FROM-UCHAR-OF-UCHAR-FIX-X)
(C::UINT-FROM-UCHAR-UCHAR-EQUIV-CONGRUENCE-ON-X)
(C::SLONG-FROM-UCHAR-OKP)
(C::BOOLEANP-OF-SLONG-FROM-UCHAR-OKP)
(C::SLONG-FROM-UCHAR-OKP-OF-UCHAR-FIX-X)
(C::SLONG-FROM-UCHAR-OKP-UCHAR-EQUIV-CONGRUENCE-ON-X)
(C::SLONG-FROM-UCHAR)
(C::SLONGP-OF-SLONG-FROM-UCHAR)
(C::SLONG-FROM-UCHAR-OF-UCHAR-FIX-X)
(C::SLONG-FROM-UCHAR-UCHAR-EQUIV-CONGRUENCE-ON-X)
(C::ULONG-FROM-UCHAR)
(C::ULONGP-OF-ULONG-FROM-UCHAR)
(C::ULONG-FROM-UCHAR-OF-UCHAR-FIX-X)
(C::ULONG-FROM-UCHAR-UCHAR-EQUIV-CONGRUENCE-ON-X)
(C::SLLONG-FROM-UCHAR-OKP)
(C::BOOLEANP-OF-SLLONG-FROM-UCHAR-OKP)
(C::SLLONG-FROM-UCHAR-OKP-OF-UCHAR-FIX-X)
(C::SLLONG-FROM-UCHAR-OKP-UCHAR-EQUIV-CONGRUENCE-ON-X)
(C::SLLONG-FROM-UCHAR)
(C::SLLONGP-OF-SLLONG-FROM-UCHAR)
(C::SLLONG-FROM-UCHAR-OF-UCHAR-FIX-X)
(C::SLLONG-FROM-UCHAR-UCHAR-EQUIV-CONGRUENCE-ON-X)
(C::ULLONG-FROM-UCHAR)
(C::ULLONGP-OF-ULLONG-FROM-UCHAR)
(C::ULLONG-FROM-UCHAR-OF-UCHAR-FIX-X)
(C::ULLONG-FROM-UCHAR-UCHAR-EQUIV-CONGRUENCE-ON-X)
(C::SCHAR-FROM-SSHORT-OKP)
(C::BOOLEANP-OF-SCHAR-FROM-SSHORT-OKP)
(C::SCHAR-FROM-SSHORT-OKP-OF-SSHORT-FIX-X)
(C::SCHAR-FROM-SSHORT-OKP-SSHORT-EQUIV-CONGRUENCE-ON-X)
(C::SCHAR-FROM-SSHORT)
(C::SCHARP-OF-SCHAR-FROM-SSHORT)
(C::SCHAR-FROM-SSHORT-OF-SSHORT-FIX-X)
(C::SCHAR-FROM-SSHORT-SSHORT-EQUIV-CONGRUENCE-ON-X)
(C::UCHAR-FROM-SSHORT)
(C::UCHARP-OF-UCHAR-FROM-SSHORT)
(C::UCHAR-FROM-SSHORT-OF-SSHORT-FIX-X)
(C::UCHAR-FROM-SSHORT-SSHORT-EQUIV-CONGRUENCE-ON-X)
(C::USHORT-FROM-SSHORT)
(C::USHORTP-OF-USHORT-FROM-SSHORT)
(C::USHORT-FROM-SSHORT-OF-SSHORT-FIX-X)
(C::USHORT-FROM-SSHORT-SSHORT-EQUIV-CONGRUENCE-ON-X)
(C::SINT-FROM-SSHORT
 (5 2 (:REWRITE DEFAULT-<-2))
 (5 2 (:REWRITE DEFAULT-<-1))
 (4 4 (:REWRITE C::SSHORTP-WHEN-MEMBER-EQUAL-OF-SSHORT-LISTP))
 )
(C::SINTP-OF-SINT-FROM-SSHORT)
(C::SINT-FROM-SSHORT-OF-SSHORT-FIX-X)
(C::SINT-FROM-SSHORT-SSHORT-EQUIV-CONGRUENCE-ON-X)
(C::UINT-FROM-SSHORT)
(C::UINTP-OF-UINT-FROM-SSHORT)
(C::UINT-FROM-SSHORT-OF-SSHORT-FIX-X)
(C::UINT-FROM-SSHORT-SSHORT-EQUIV-CONGRUENCE-ON-X)
(C::SLONG-FROM-SSHORT
 (5 2 (:REWRITE DEFAULT-<-2))
 (5 2 (:REWRITE DEFAULT-<-1))
 (4 4 (:REWRITE C::SSHORTP-WHEN-MEMBER-EQUAL-OF-SSHORT-LISTP))
 )
(C::SLONGP-OF-SLONG-FROM-SSHORT)
(C::SLONG-FROM-SSHORT-OF-SSHORT-FIX-X)
(C::SLONG-FROM-SSHORT-SSHORT-EQUIV-CONGRUENCE-ON-X)
(C::ULONG-FROM-SSHORT)
(C::ULONGP-OF-ULONG-FROM-SSHORT)
(C::ULONG-FROM-SSHORT-OF-SSHORT-FIX-X)
(C::ULONG-FROM-SSHORT-SSHORT-EQUIV-CONGRUENCE-ON-X)
(C::SLLONG-FROM-SSHORT
 (5 2 (:REWRITE DEFAULT-<-2))
 (5 2 (:REWRITE DEFAULT-<-1))
 (4 4 (:REWRITE C::SSHORTP-WHEN-MEMBER-EQUAL-OF-SSHORT-LISTP))
 (3 1 (:LINEAR C::SINT-MAX-BOUND))
 )
(C::SLLONGP-OF-SLLONG-FROM-SSHORT)
(C::SLLONG-FROM-SSHORT-OF-SSHORT-FIX-X)
(C::SLLONG-FROM-SSHORT-SSHORT-EQUIV-CONGRUENCE-ON-X)
(C::ULLONG-FROM-SSHORT)
(C::ULLONGP-OF-ULLONG-FROM-SSHORT)
(C::ULLONG-FROM-SSHORT-OF-SSHORT-FIX-X)
(C::ULLONG-FROM-SSHORT-SSHORT-EQUIV-CONGRUENCE-ON-X)
(C::SCHAR-FROM-USHORT-OKP)
(C::BOOLEANP-OF-SCHAR-FROM-USHORT-OKP)
(C::SCHAR-FROM-USHORT-OKP-OF-USHORT-FIX-X)
(C::SCHAR-FROM-USHORT-OKP-USHORT-EQUIV-CONGRUENCE-ON-X)
(C::SCHAR-FROM-USHORT)
(C::SCHARP-OF-SCHAR-FROM-USHORT)
(C::SCHAR-FROM-USHORT-OF-USHORT-FIX-X)
(C::SCHAR-FROM-USHORT-USHORT-EQUIV-CONGRUENCE-ON-X)
(C::UCHAR-FROM-USHORT)
(C::UCHARP-OF-UCHAR-FROM-USHORT)
(C::UCHAR-FROM-USHORT-OF-USHORT-FIX-X)
(C::UCHAR-FROM-USHORT-USHORT-EQUIV-CONGRUENCE-ON-X)
(C::SSHORT-FROM-USHORT-OKP)
(C::BOOLEANP-OF-SSHORT-FROM-USHORT-OKP)
(C::SSHORT-FROM-USHORT-OKP-OF-USHORT-FIX-X)
(C::SSHORT-FROM-USHORT-OKP-USHORT-EQUIV-CONGRUENCE-ON-X)
(C::SSHORT-FROM-USHORT)
(C::SSHORTP-OF-SSHORT-FROM-USHORT)
(C::SSHORT-FROM-USHORT-OF-USHORT-FIX-X)
(C::SSHORT-FROM-USHORT-USHORT-EQUIV-CONGRUENCE-ON-X)
(C::SINT-FROM-USHORT-OKP)
(C::BOOLEANP-OF-SINT-FROM-USHORT-OKP)
(C::SINT-FROM-USHORT-OKP-OF-USHORT-FIX-X)
(C::SINT-FROM-USHORT-OKP-USHORT-EQUIV-CONGRUENCE-ON-X)
(C::SINT-FROM-USHORT)
(C::SINTP-OF-SINT-FROM-USHORT)
(C::SINT-FROM-USHORT-OF-USHORT-FIX-X)
(C::SINT-FROM-USHORT-USHORT-EQUIV-CONGRUENCE-ON-X)
(C::UINT-FROM-USHORT)
(C::UINTP-OF-UINT-FROM-USHORT)
(C::UINT-FROM-USHORT-OF-USHORT-FIX-X)
(C::UINT-FROM-USHORT-USHORT-EQUIV-CONGRUENCE-ON-X)
(C::SLONG-FROM-USHORT-OKP)
(C::BOOLEANP-OF-SLONG-FROM-USHORT-OKP)
(C::SLONG-FROM-USHORT-OKP-OF-USHORT-FIX-X)
(C::SLONG-FROM-USHORT-OKP-USHORT-EQUIV-CONGRUENCE-ON-X)
(C::SLONG-FROM-USHORT)
(C::SLONGP-OF-SLONG-FROM-USHORT)
(C::SLONG-FROM-USHORT-OF-USHORT-FIX-X)
(C::SLONG-FROM-USHORT-USHORT-EQUIV-CONGRUENCE-ON-X)
(C::ULONG-FROM-USHORT)
(C::ULONGP-OF-ULONG-FROM-USHORT)
(C::ULONG-FROM-USHORT-OF-USHORT-FIX-X)
(C::ULONG-FROM-USHORT-USHORT-EQUIV-CONGRUENCE-ON-X)
(C::SLLONG-FROM-USHORT-OKP)
(C::BOOLEANP-OF-SLLONG-FROM-USHORT-OKP)
(C::SLLONG-FROM-USHORT-OKP-OF-USHORT-FIX-X)
(C::SLLONG-FROM-USHORT-OKP-USHORT-EQUIV-CONGRUENCE-ON-X)
(C::SLLONG-FROM-USHORT)
(C::SLLONGP-OF-SLLONG-FROM-USHORT)
(C::SLLONG-FROM-USHORT-OF-USHORT-FIX-X)
(C::SLLONG-FROM-USHORT-USHORT-EQUIV-CONGRUENCE-ON-X)
(C::ULLONG-FROM-USHORT)
(C::ULLONGP-OF-ULLONG-FROM-USHORT)
(C::ULLONG-FROM-USHORT-OF-USHORT-FIX-X)
(C::ULLONG-FROM-USHORT-USHORT-EQUIV-CONGRUENCE-ON-X)
(C::SCHAR-FROM-SINT-OKP)
(C::BOOLEANP-OF-SCHAR-FROM-SINT-OKP)
(C::SCHAR-FROM-SINT-OKP-OF-SINT-FIX-X)
(C::SCHAR-FROM-SINT-OKP-SINT-EQUIV-CONGRUENCE-ON-X)
(C::SCHAR-FROM-SINT)
(C::SCHARP-OF-SCHAR-FROM-SINT)
(C::SCHAR-FROM-SINT-OF-SINT-FIX-X)
(C::SCHAR-FROM-SINT-SINT-EQUIV-CONGRUENCE-ON-X)
(C::UCHAR-FROM-SINT)
(C::UCHARP-OF-UCHAR-FROM-SINT)
(C::UCHAR-FROM-SINT-OF-SINT-FIX-X)
(C::UCHAR-FROM-SINT-SINT-EQUIV-CONGRUENCE-ON-X)
(C::SSHORT-FROM-SINT-OKP)
(C::BOOLEANP-OF-SSHORT-FROM-SINT-OKP)
(C::SSHORT-FROM-SINT-OKP-OF-SINT-FIX-X)
(C::SSHORT-FROM-SINT-OKP-SINT-EQUIV-CONGRUENCE-ON-X)
(C::SSHORT-FROM-SINT)
(C::SSHORTP-OF-SSHORT-FROM-SINT)
(C::SSHORT-FROM-SINT-OF-SINT-FIX-X)
(C::SSHORT-FROM-SINT-SINT-EQUIV-CONGRUENCE-ON-X)
(C::USHORT-FROM-SINT)
(C::USHORTP-OF-USHORT-FROM-SINT)
(C::USHORT-FROM-SINT-OF-SINT-FIX-X)
(C::USHORT-FROM-SINT-SINT-EQUIV-CONGRUENCE-ON-X)
(C::UINT-FROM-SINT)
(C::UINTP-OF-UINT-FROM-SINT)
(C::UINT-FROM-SINT-OF-SINT-FIX-X)
(C::UINT-FROM-SINT-SINT-EQUIV-CONGRUENCE-ON-X)
(C::SLONG-FROM-SINT
 (5 2 (:REWRITE DEFAULT-<-2))
 (5 2 (:REWRITE DEFAULT-<-1))
 (4 4 (:REWRITE C::SINTP-WHEN-MEMBER-EQUAL-OF-SINT-LISTP))
 )
(C::SLONGP-OF-SLONG-FROM-SINT)
(C::SLONG-FROM-SINT-OF-SINT-FIX-X)
(C::SLONG-FROM-SINT-SINT-EQUIV-CONGRUENCE-ON-X)
(C::ULONG-FROM-SINT)
(C::ULONGP-OF-ULONG-FROM-SINT)
(C::ULONG-FROM-SINT-OF-SINT-FIX-X)
(C::ULONG-FROM-SINT-SINT-EQUIV-CONGRUENCE-ON-X)
(C::SLLONG-FROM-SINT
 (5 2 (:REWRITE DEFAULT-<-2))
 (5 2 (:REWRITE DEFAULT-<-1))
 (4 4 (:REWRITE C::SINTP-WHEN-MEMBER-EQUAL-OF-SINT-LISTP))
 )
(C::SLLONGP-OF-SLLONG-FROM-SINT)
(C::SLLONG-FROM-SINT-OF-SINT-FIX-X)
(C::SLLONG-FROM-SINT-SINT-EQUIV-CONGRUENCE-ON-X)
(C::ULLONG-FROM-SINT)
(C::ULLONGP-OF-ULLONG-FROM-SINT)
(C::ULLONG-FROM-SINT-OF-SINT-FIX-X)
(C::ULLONG-FROM-SINT-SINT-EQUIV-CONGRUENCE-ON-X)
(C::SCHAR-FROM-UINT-OKP)
(C::BOOLEANP-OF-SCHAR-FROM-UINT-OKP)
(C::SCHAR-FROM-UINT-OKP-OF-UINT-FIX-X)
(C::SCHAR-FROM-UINT-OKP-UINT-EQUIV-CONGRUENCE-ON-X)
(C::SCHAR-FROM-UINT)
(C::SCHARP-OF-SCHAR-FROM-UINT)
(C::SCHAR-FROM-UINT-OF-UINT-FIX-X)
(C::SCHAR-FROM-UINT-UINT-EQUIV-CONGRUENCE-ON-X)
(C::UCHAR-FROM-UINT)
(C::UCHARP-OF-UCHAR-FROM-UINT)
(C::UCHAR-FROM-UINT-OF-UINT-FIX-X)
(C::UCHAR-FROM-UINT-UINT-EQUIV-CONGRUENCE-ON-X)
(C::SSHORT-FROM-UINT-OKP)
(C::BOOLEANP-OF-SSHORT-FROM-UINT-OKP)
(C::SSHORT-FROM-UINT-OKP-OF-UINT-FIX-X)
(C::SSHORT-FROM-UINT-OKP-UINT-EQUIV-CONGRUENCE-ON-X)
(C::SSHORT-FROM-UINT)
(C::SSHORTP-OF-SSHORT-FROM-UINT)
(C::SSHORT-FROM-UINT-OF-UINT-FIX-X)
(C::SSHORT-FROM-UINT-UINT-EQUIV-CONGRUENCE-ON-X)
(C::USHORT-FROM-UINT)
(C::USHORTP-OF-USHORT-FROM-UINT)
(C::USHORT-FROM-UINT-OF-UINT-FIX-X)
(C::USHORT-FROM-UINT-UINT-EQUIV-CONGRUENCE-ON-X)
(C::SINT-FROM-UINT-OKP)
(C::BOOLEANP-OF-SINT-FROM-UINT-OKP)
(C::SINT-FROM-UINT-OKP-OF-UINT-FIX-X)
(C::SINT-FROM-UINT-OKP-UINT-EQUIV-CONGRUENCE-ON-X)
(C::SINT-FROM-UINT)
(C::SINTP-OF-SINT-FROM-UINT)
(C::SINT-FROM-UINT-OF-UINT-FIX-X)
(C::SINT-FROM-UINT-UINT-EQUIV-CONGRUENCE-ON-X)
(C::SLONG-FROM-UINT-OKP)
(C::BOOLEANP-OF-SLONG-FROM-UINT-OKP)
(C::SLONG-FROM-UINT-OKP-OF-UINT-FIX-X)
(C::SLONG-FROM-UINT-OKP-UINT-EQUIV-CONGRUENCE-ON-X)
(C::SLONG-FROM-UINT)
(C::SLONGP-OF-SLONG-FROM-UINT)
(C::SLONG-FROM-UINT-OF-UINT-FIX-X)
(C::SLONG-FROM-UINT-UINT-EQUIV-CONGRUENCE-ON-X)
(C::ULONG-FROM-UINT)
(C::ULONGP-OF-ULONG-FROM-UINT)
(C::ULONG-FROM-UINT-OF-UINT-FIX-X)
(C::ULONG-FROM-UINT-UINT-EQUIV-CONGRUENCE-ON-X)
(C::SLLONG-FROM-UINT-OKP)
(C::BOOLEANP-OF-SLLONG-FROM-UINT-OKP)
(C::SLLONG-FROM-UINT-OKP-OF-UINT-FIX-X)
(C::SLLONG-FROM-UINT-OKP-UINT-EQUIV-CONGRUENCE-ON-X)
(C::SLLONG-FROM-UINT)
(C::SLLONGP-OF-SLLONG-FROM-UINT)
(C::SLLONG-FROM-UINT-OF-UINT-FIX-X)
(C::SLLONG-FROM-UINT-UINT-EQUIV-CONGRUENCE-ON-X)
(C::ULLONG-FROM-UINT)
(C::ULLONGP-OF-ULLONG-FROM-UINT)
(C::ULLONG-FROM-UINT-OF-UINT-FIX-X)
(C::ULLONG-FROM-UINT-UINT-EQUIV-CONGRUENCE-ON-X)
(C::SCHAR-FROM-SLONG-OKP)
(C::BOOLEANP-OF-SCHAR-FROM-SLONG-OKP)
(C::SCHAR-FROM-SLONG-OKP-OF-SLONG-FIX-X)
(C::SCHAR-FROM-SLONG-OKP-SLONG-EQUIV-CONGRUENCE-ON-X)
(C::SCHAR-FROM-SLONG)
(C::SCHARP-OF-SCHAR-FROM-SLONG)
(C::SCHAR-FROM-SLONG-OF-SLONG-FIX-X)
(C::SCHAR-FROM-SLONG-SLONG-EQUIV-CONGRUENCE-ON-X)
(C::UCHAR-FROM-SLONG)
(C::UCHARP-OF-UCHAR-FROM-SLONG)
(C::UCHAR-FROM-SLONG-OF-SLONG-FIX-X)
(C::UCHAR-FROM-SLONG-SLONG-EQUIV-CONGRUENCE-ON-X)
(C::SSHORT-FROM-SLONG-OKP)
(C::BOOLEANP-OF-SSHORT-FROM-SLONG-OKP)
(C::SSHORT-FROM-SLONG-OKP-OF-SLONG-FIX-X)
(C::SSHORT-FROM-SLONG-OKP-SLONG-EQUIV-CONGRUENCE-ON-X)
(C::SSHORT-FROM-SLONG)
(C::SSHORTP-OF-SSHORT-FROM-SLONG)
(C::SSHORT-FROM-SLONG-OF-SLONG-FIX-X)
(C::SSHORT-FROM-SLONG-SLONG-EQUIV-CONGRUENCE-ON-X)
(C::USHORT-FROM-SLONG)
(C::USHORTP-OF-USHORT-FROM-SLONG)
(C::USHORT-FROM-SLONG-OF-SLONG-FIX-X)
(C::USHORT-FROM-SLONG-SLONG-EQUIV-CONGRUENCE-ON-X)
(C::SINT-FROM-SLONG-OKP)
(C::BOOLEANP-OF-SINT-FROM-SLONG-OKP)
(C::SINT-FROM-SLONG-OKP-OF-SLONG-FIX-X)
(C::SINT-FROM-SLONG-OKP-SLONG-EQUIV-CONGRUENCE-ON-X)
(C::SINT-FROM-SLONG)
(C::SINTP-OF-SINT-FROM-SLONG)
(C::SINT-FROM-SLONG-OF-SLONG-FIX-X)
(C::SINT-FROM-SLONG-SLONG-EQUIV-CONGRUENCE-ON-X)
(C::UINT-FROM-SLONG)
(C::UINTP-OF-UINT-FROM-SLONG)
(C::UINT-FROM-SLONG-OF-SLONG-FIX-X)
(C::UINT-FROM-SLONG-SLONG-EQUIV-CONGRUENCE-ON-X)
(C::ULONG-FROM-SLONG)
(C::ULONGP-OF-ULONG-FROM-SLONG)
(C::ULONG-FROM-SLONG-OF-SLONG-FIX-X)
(C::ULONG-FROM-SLONG-SLONG-EQUIV-CONGRUENCE-ON-X)
(C::SLLONG-FROM-SLONG
 (5 2 (:REWRITE DEFAULT-<-2))
 (5 2 (:REWRITE DEFAULT-<-1))
 (4 4 (:REWRITE C::SLONGP-WHEN-MEMBER-EQUAL-OF-SLONG-LISTP))
 )
(C::SLLONGP-OF-SLLONG-FROM-SLONG)
(C::SLLONG-FROM-SLONG-OF-SLONG-FIX-X)
(C::SLLONG-FROM-SLONG-SLONG-EQUIV-CONGRUENCE-ON-X)
(C::ULLONG-FROM-SLONG)
(C::ULLONGP-OF-ULLONG-FROM-SLONG)
(C::ULLONG-FROM-SLONG-OF-SLONG-FIX-X)
(C::ULLONG-FROM-SLONG-SLONG-EQUIV-CONGRUENCE-ON-X)
(C::SCHAR-FROM-ULONG-OKP)
(C::BOOLEANP-OF-SCHAR-FROM-ULONG-OKP)
(C::SCHAR-FROM-ULONG-OKP-OF-ULONG-FIX-X)
(C::SCHAR-FROM-ULONG-OKP-ULONG-EQUIV-CONGRUENCE-ON-X)
(C::SCHAR-FROM-ULONG)
(C::SCHARP-OF-SCHAR-FROM-ULONG)
(C::SCHAR-FROM-ULONG-OF-ULONG-FIX-X)
(C::SCHAR-FROM-ULONG-ULONG-EQUIV-CONGRUENCE-ON-X)
(C::UCHAR-FROM-ULONG)
(C::UCHARP-OF-UCHAR-FROM-ULONG)
(C::UCHAR-FROM-ULONG-OF-ULONG-FIX-X)
(C::UCHAR-FROM-ULONG-ULONG-EQUIV-CONGRUENCE-ON-X)
(C::SSHORT-FROM-ULONG-OKP)
(C::BOOLEANP-OF-SSHORT-FROM-ULONG-OKP)
(C::SSHORT-FROM-ULONG-OKP-OF-ULONG-FIX-X)
(C::SSHORT-FROM-ULONG-OKP-ULONG-EQUIV-CONGRUENCE-ON-X)
(C::SSHORT-FROM-ULONG)
(C::SSHORTP-OF-SSHORT-FROM-ULONG)
(C::SSHORT-FROM-ULONG-OF-ULONG-FIX-X)
(C::SSHORT-FROM-ULONG-ULONG-EQUIV-CONGRUENCE-ON-X)
(C::USHORT-FROM-ULONG)
(C::USHORTP-OF-USHORT-FROM-ULONG)
(C::USHORT-FROM-ULONG-OF-ULONG-FIX-X)
(C::USHORT-FROM-ULONG-ULONG-EQUIV-CONGRUENCE-ON-X)
(C::SINT-FROM-ULONG-OKP)
(C::BOOLEANP-OF-SINT-FROM-ULONG-OKP)
(C::SINT-FROM-ULONG-OKP-OF-ULONG-FIX-X)
(C::SINT-FROM-ULONG-OKP-ULONG-EQUIV-CONGRUENCE-ON-X)
(C::SINT-FROM-ULONG)
(C::SINTP-OF-SINT-FROM-ULONG)
(C::SINT-FROM-ULONG-OF-ULONG-FIX-X)
(C::SINT-FROM-ULONG-ULONG-EQUIV-CONGRUENCE-ON-X)
(C::UINT-FROM-ULONG)
(C::UINTP-OF-UINT-FROM-ULONG)
(C::UINT-FROM-ULONG-OF-ULONG-FIX-X)
(C::UINT-FROM-ULONG-ULONG-EQUIV-CONGRUENCE-ON-X)
(C::SLONG-FROM-ULONG-OKP)
(C::BOOLEANP-OF-SLONG-FROM-ULONG-OKP)
(C::SLONG-FROM-ULONG-OKP-OF-ULONG-FIX-X)
(C::SLONG-FROM-ULONG-OKP-ULONG-EQUIV-CONGRUENCE-ON-X)
(C::SLONG-FROM-ULONG)
(C::SLONGP-OF-SLONG-FROM-ULONG)
(C::SLONG-FROM-ULONG-OF-ULONG-FIX-X)
(C::SLONG-FROM-ULONG-ULONG-EQUIV-CONGRUENCE-ON-X)
(C::SLLONG-FROM-ULONG-OKP)
(C::BOOLEANP-OF-SLLONG-FROM-ULONG-OKP)
(C::SLLONG-FROM-ULONG-OKP-OF-ULONG-FIX-X)
(C::SLLONG-FROM-ULONG-OKP-ULONG-EQUIV-CONGRUENCE-ON-X)
(C::SLLONG-FROM-ULONG)
(C::SLLONGP-OF-SLLONG-FROM-ULONG)
(C::SLLONG-FROM-ULONG-OF-ULONG-FIX-X)
(C::SLLONG-FROM-ULONG-ULONG-EQUIV-CONGRUENCE-ON-X)
(C::ULLONG-FROM-ULONG)
(C::ULLONGP-OF-ULLONG-FROM-ULONG)
(C::ULLONG-FROM-ULONG-OF-ULONG-FIX-X)
(C::ULLONG-FROM-ULONG-ULONG-EQUIV-CONGRUENCE-ON-X)
(C::SCHAR-FROM-SLLONG-OKP)
(C::BOOLEANP-OF-SCHAR-FROM-SLLONG-OKP)
(C::SCHAR-FROM-SLLONG-OKP-OF-SLLONG-FIX-X)
(C::SCHAR-FROM-SLLONG-OKP-SLLONG-EQUIV-CONGRUENCE-ON-X)
(C::SCHAR-FROM-SLLONG)
(C::SCHARP-OF-SCHAR-FROM-SLLONG)
(C::SCHAR-FROM-SLLONG-OF-SLLONG-FIX-X)
(C::SCHAR-FROM-SLLONG-SLLONG-EQUIV-CONGRUENCE-ON-X)
(C::UCHAR-FROM-SLLONG)
(C::UCHARP-OF-UCHAR-FROM-SLLONG)
(C::UCHAR-FROM-SLLONG-OF-SLLONG-FIX-X)
(C::UCHAR-FROM-SLLONG-SLLONG-EQUIV-CONGRUENCE-ON-X)
(C::SSHORT-FROM-SLLONG-OKP)
(C::BOOLEANP-OF-SSHORT-FROM-SLLONG-OKP)
(C::SSHORT-FROM-SLLONG-OKP-OF-SLLONG-FIX-X)
(C::SSHORT-FROM-SLLONG-OKP-SLLONG-EQUIV-CONGRUENCE-ON-X)
(C::SSHORT-FROM-SLLONG)
(C::SSHORTP-OF-SSHORT-FROM-SLLONG)
(C::SSHORT-FROM-SLLONG-OF-SLLONG-FIX-X)
(C::SSHORT-FROM-SLLONG-SLLONG-EQUIV-CONGRUENCE-ON-X)
(C::USHORT-FROM-SLLONG)
(C::USHORTP-OF-USHORT-FROM-SLLONG)
(C::USHORT-FROM-SLLONG-OF-SLLONG-FIX-X)
(C::USHORT-FROM-SLLONG-SLLONG-EQUIV-CONGRUENCE-ON-X)
(C::SINT-FROM-SLLONG-OKP)
(C::BOOLEANP-OF-SINT-FROM-SLLONG-OKP)
(C::SINT-FROM-SLLONG-OKP-OF-SLLONG-FIX-X)
(C::SINT-FROM-SLLONG-OKP-SLLONG-EQUIV-CONGRUENCE-ON-X)
(C::SINT-FROM-SLLONG)
(C::SINTP-OF-SINT-FROM-SLLONG)
(C::SINT-FROM-SLLONG-OF-SLLONG-FIX-X)
(C::SINT-FROM-SLLONG-SLLONG-EQUIV-CONGRUENCE-ON-X)
(C::UINT-FROM-SLLONG)
(C::UINTP-OF-UINT-FROM-SLLONG)
(C::UINT-FROM-SLLONG-OF-SLLONG-FIX-X)
(C::UINT-FROM-SLLONG-SLLONG-EQUIV-CONGRUENCE-ON-X)
(C::SLONG-FROM-SLLONG-OKP)
(C::BOOLEANP-OF-SLONG-FROM-SLLONG-OKP)
(C::SLONG-FROM-SLLONG-OKP-OF-SLLONG-FIX-X)
(C::SLONG-FROM-SLLONG-OKP-SLLONG-EQUIV-CONGRUENCE-ON-X)
(C::SLONG-FROM-SLLONG)
(C::SLONGP-OF-SLONG-FROM-SLLONG)
(C::SLONG-FROM-SLLONG-OF-SLLONG-FIX-X)
(C::SLONG-FROM-SLLONG-SLLONG-EQUIV-CONGRUENCE-ON-X)
(C::ULONG-FROM-SLLONG)
(C::ULONGP-OF-ULONG-FROM-SLLONG)
(C::ULONG-FROM-SLLONG-OF-SLLONG-FIX-X)
(C::ULONG-FROM-SLLONG-SLLONG-EQUIV-CONGRUENCE-ON-X)
(C::ULLONG-FROM-SLLONG)
(C::ULLONGP-OF-ULLONG-FROM-SLLONG)
(C::ULLONG-FROM-SLLONG-OF-SLLONG-FIX-X)
(C::ULLONG-FROM-SLLONG-SLLONG-EQUIV-CONGRUENCE-ON-X)
(C::SCHAR-FROM-ULLONG-OKP)
(C::BOOLEANP-OF-SCHAR-FROM-ULLONG-OKP)
(C::SCHAR-FROM-ULLONG-OKP-OF-ULLONG-FIX-X)
(C::SCHAR-FROM-ULLONG-OKP-ULLONG-EQUIV-CONGRUENCE-ON-X)
(C::SCHAR-FROM-ULLONG)
(C::SCHARP-OF-SCHAR-FROM-ULLONG)
(C::SCHAR-FROM-ULLONG-OF-ULLONG-FIX-X)
(C::SCHAR-FROM-ULLONG-ULLONG-EQUIV-CONGRUENCE-ON-X)
(C::UCHAR-FROM-ULLONG)
(C::UCHARP-OF-UCHAR-FROM-ULLONG)
(C::UCHAR-FROM-ULLONG-OF-ULLONG-FIX-X)
(C::UCHAR-FROM-ULLONG-ULLONG-EQUIV-CONGRUENCE-ON-X)
(C::SSHORT-FROM-ULLONG-OKP)
(C::BOOLEANP-OF-SSHORT-FROM-ULLONG-OKP)
(C::SSHORT-FROM-ULLONG-OKP-OF-ULLONG-FIX-X)
(C::SSHORT-FROM-ULLONG-OKP-ULLONG-EQUIV-CONGRUENCE-ON-X)
(C::SSHORT-FROM-ULLONG)
(C::SSHORTP-OF-SSHORT-FROM-ULLONG)
(C::SSHORT-FROM-ULLONG-OF-ULLONG-FIX-X)
(C::SSHORT-FROM-ULLONG-ULLONG-EQUIV-CONGRUENCE-ON-X)
(C::USHORT-FROM-ULLONG)
(C::USHORTP-OF-USHORT-FROM-ULLONG)
(C::USHORT-FROM-ULLONG-OF-ULLONG-FIX-X)
(C::USHORT-FROM-ULLONG-ULLONG-EQUIV-CONGRUENCE-ON-X)
(C::SINT-FROM-ULLONG-OKP)
(C::BOOLEANP-OF-SINT-FROM-ULLONG-OKP)
(C::SINT-FROM-ULLONG-OKP-OF-ULLONG-FIX-X)
(C::SINT-FROM-ULLONG-OKP-ULLONG-EQUIV-CONGRUENCE-ON-X)
(C::SINT-FROM-ULLONG)
(C::SINTP-OF-SINT-FROM-ULLONG)
(C::SINT-FROM-ULLONG-OF-ULLONG-FIX-X)
(C::SINT-FROM-ULLONG-ULLONG-EQUIV-CONGRUENCE-ON-X)
(C::UINT-FROM-ULLONG)
(C::UINTP-OF-UINT-FROM-ULLONG)
(C::UINT-FROM-ULLONG-OF-ULLONG-FIX-X)
(C::UINT-FROM-ULLONG-ULLONG-EQUIV-CONGRUENCE-ON-X)
(C::SLONG-FROM-ULLONG-OKP)
(C::BOOLEANP-OF-SLONG-FROM-ULLONG-OKP)
(C::SLONG-FROM-ULLONG-OKP-OF-ULLONG-FIX-X)
(C::SLONG-FROM-ULLONG-OKP-ULLONG-EQUIV-CONGRUENCE-ON-X)
(C::SLONG-FROM-ULLONG)
(C::SLONGP-OF-SLONG-FROM-ULLONG)
(C::SLONG-FROM-ULLONG-OF-ULLONG-FIX-X)
(C::SLONG-FROM-ULLONG-ULLONG-EQUIV-CONGRUENCE-ON-X)
(C::ULONG-FROM-ULLONG)
(C::ULONGP-OF-ULONG-FROM-ULLONG)
(C::ULONG-FROM-ULLONG-OF-ULLONG-FIX-X)
(C::ULONG-FROM-ULLONG-ULLONG-EQUIV-CONGRUENCE-ON-X)
(C::SLLONG-FROM-ULLONG-OKP)
(C::BOOLEANP-OF-SLLONG-FROM-ULLONG-OKP)
(C::SLLONG-FROM-ULLONG-OKP-OF-ULLONG-FIX-X)
(C::SLLONG-FROM-ULLONG-OKP-ULLONG-EQUIV-CONGRUENCE-ON-X)
(C::SLLONG-FROM-ULLONG)
(C::SLLONGP-OF-SLLONG-FROM-ULLONG)
(C::SLLONG-FROM-ULLONG-OF-ULLONG-FIX-X)
(C::SLLONG-FROM-ULLONG-ULLONG-EQUIV-CONGRUENCE-ON-X)
(C::SINT-FROM-UCHAR-OKP-WHEN-UCHAR-MAX-<=-SINT-MAX
 (8 3 (:REWRITE DEFAULT-<-2))
 (8 3 (:REWRITE DEFAULT-<-1))
 )
(C::SINT-FROM-USHORT-OKP-WHEN-USHORT-MAX-<=-SINT-MAX
 (8 3 (:REWRITE DEFAULT-<-2))
 (8 3 (:REWRITE DEFAULT-<-1))
 )
(C::SLONG-FROM-UCHAR-OKP-WHEN-UCHAR-MAX-<=SLONG-MAX
 (8 3 (:REWRITE DEFAULT-<-2))
 (8 3 (:REWRITE DEFAULT-<-1))
 )
(C::SLONG-FROM-USHORT-OKP-WHEN-USHORT-MAX-<=SLONG-MAX
 (8 3 (:REWRITE DEFAULT-<-2))
 (8 3 (:REWRITE DEFAULT-<-1))
 )
(C::SLONG-FROM-UINT-OKP-WHEN-UINT-MAX-<=SLONG-MAX
 (8 3 (:REWRITE DEFAULT-<-2))
 (8 3 (:REWRITE DEFAULT-<-1))
 )
(C::SLLONG-FROM-UCHAR-OKP-WHEN-UCHAR-MAX-<=SLLONG-MAX
 (8 3 (:REWRITE DEFAULT-<-2))
 (8 3 (:REWRITE DEFAULT-<-1))
 )
(C::SLLONG-FROM-USHORT-OKP-WHEN-USHORT-MAX-<=SLLONG-MAX
 (8 3 (:REWRITE DEFAULT-<-2))
 (8 3 (:REWRITE DEFAULT-<-1))
 )
(C::SLLONG-FROM-UINT-OKP-WHEN-UINT-MAX-<=SLLONG-MAX
 (8 3 (:REWRITE DEFAULT-<-2))
 (8 3 (:REWRITE DEFAULT-<-1))
 )
(C::SLLONG-FROM-ULONG-OKP-WHEN-ULONG-MAX-<=SLLONG-MAX
 (8 3 (:REWRITE DEFAULT-<-2))
 (8 3 (:REWRITE DEFAULT-<-1))
 )
