(TMP-DEFTYPES-POSP-OF-POS-FIX)
(TMP-DEFTYPES-BOOLEANP-OF-BOOL-FIX$INLINE)
(C$::IENVP
 (68 26 (:REWRITE FTY::PROVE-EQUAL-OF-CONS-WHEN-FIRST-QUOTEP))
 )
(C$::CONSP-WHEN-IENVP)
(C$::IENV-FIX$INLINE)
(C$::IENVP-OF-IENV-FIX
 (420 148 (:REWRITE POS-FIX-WHEN-POSP))
 (139 89 (:REWRITE BOOL-FIX-WHEN-BOOLEANP))
 (50 50 (:TYPE-PRESCRIPTION BOOLEANP))
 )
(C$::IENV-FIX-WHEN-IENVP
 (5 2 (:REWRITE FTY::PROVE-EQUAL-OF-CONS-WHEN-FIRST-QUOTEP))
 (1 1 (:DEFINITION STRIP-CARS))
 (1 1 (:DEFINITION ALISTP))
 )
(C$::IENV-FIX$INLINE
 (5 2 (:REWRITE FTY::PROVE-EQUAL-OF-CONS-WHEN-FIRST-QUOTEP))
 (1 1 (:DEFINITION STRIP-CARS))
 (1 1 (:DEFINITION ALISTP))
 )
(FTY::TMP-DEFFIXTYPE-IDEMPOTENT)
(C$::IENV-EQUIV$INLINE)
(C$::IENV-EQUIV-IS-AN-EQUIVALENCE)
(C$::IENV-EQUIV-IMPLIES-EQUAL-IENV-FIX-1)
(C$::IENV-FIX-UNDER-IENV-EQUIV)
(C$::EQUAL-OF-IENV-FIX-1-FORWARD-TO-IENV-EQUIV)
(C$::EQUAL-OF-IENV-FIX-2-FORWARD-TO-IENV-EQUIV)
(C$::IENV-EQUIV-OF-IENV-FIX-1-FORWARD)
(C$::IENV-EQUIV-OF-IENV-FIX-2-FORWARD)
(C$::IENV->SHORT-BYTES$INLINE
 (4 1 (:REWRITE FTY::PROVE-EQUAL-OF-CONS-WHEN-FIRST-QUOTEP))
 (1 1 (:DEFINITION STRIP-CARS))
 (1 1 (:DEFINITION ALISTP))
 )
(C$::POSP-OF-IENV->SHORT-BYTES
 (72 24 (:REWRITE POS-FIX-WHEN-POSP))
 (3 1 (:REWRITE BOOL-FIX-WHEN-BOOLEANP))
 (2 2 (:TYPE-PRESCRIPTION BOOLEANP))
 )
(C$::IENV->SHORT-BYTES$INLINE-OF-IENV-FIX-X
 (723 295 (:REWRITE C$::IENV-FIX-WHEN-IENVP))
 (428 428 (:TYPE-PRESCRIPTION C$::IENVP))
 (246 100 (:REWRITE BOOL-FIX-WHEN-BOOLEANP))
 (146 146 (:TYPE-PRESCRIPTION BOOLEANP))
 )
(C$::IENV->SHORT-BYTES$INLINE-IENV-EQUIV-CONGRUENCE-ON-X)
(C$::IENV->INT-BYTES$INLINE
 (4 1 (:REWRITE FTY::PROVE-EQUAL-OF-CONS-WHEN-FIRST-QUOTEP))
 )
(C$::POSP-OF-IENV->INT-BYTES
 (72 24 (:REWRITE POS-FIX-WHEN-POSP))
 (3 1 (:REWRITE BOOL-FIX-WHEN-BOOLEANP))
 (2 2 (:TYPE-PRESCRIPTION BOOLEANP))
 )
(C$::IENV->INT-BYTES$INLINE-OF-IENV-FIX-X
 (723 295 (:REWRITE C$::IENV-FIX-WHEN-IENVP))
 (428 428 (:TYPE-PRESCRIPTION C$::IENVP))
 (246 100 (:REWRITE BOOL-FIX-WHEN-BOOLEANP))
 (146 146 (:TYPE-PRESCRIPTION BOOLEANP))
 )
(C$::IENV->INT-BYTES$INLINE-IENV-EQUIV-CONGRUENCE-ON-X)
(C$::IENV->LONG-BYTES$INLINE
 (4 1 (:REWRITE FTY::PROVE-EQUAL-OF-CONS-WHEN-FIRST-QUOTEP))
 )
(C$::POSP-OF-IENV->LONG-BYTES
 (72 24 (:REWRITE POS-FIX-WHEN-POSP))
 (3 1 (:REWRITE BOOL-FIX-WHEN-BOOLEANP))
 (2 2 (:TYPE-PRESCRIPTION BOOLEANP))
 )
(C$::IENV->LONG-BYTES$INLINE-OF-IENV-FIX-X
 (723 295 (:REWRITE C$::IENV-FIX-WHEN-IENVP))
 (428 428 (:TYPE-PRESCRIPTION C$::IENVP))
 (246 100 (:REWRITE BOOL-FIX-WHEN-BOOLEANP))
 (146 146 (:TYPE-PRESCRIPTION BOOLEANP))
 )
(C$::IENV->LONG-BYTES$INLINE-IENV-EQUIV-CONGRUENCE-ON-X)
(C$::IENV->LLONG-BYTES$INLINE
 (4 1 (:REWRITE FTY::PROVE-EQUAL-OF-CONS-WHEN-FIRST-QUOTEP))
 )
(C$::POSP-OF-IENV->LLONG-BYTES
 (72 24 (:REWRITE POS-FIX-WHEN-POSP))
 (3 1 (:REWRITE BOOL-FIX-WHEN-BOOLEANP))
 (2 2 (:TYPE-PRESCRIPTION BOOLEANP))
 )
(C$::IENV->LLONG-BYTES$INLINE-OF-IENV-FIX-X
 (723 295 (:REWRITE C$::IENV-FIX-WHEN-IENVP))
 (428 428 (:TYPE-PRESCRIPTION C$::IENVP))
 (246 100 (:REWRITE BOOL-FIX-WHEN-BOOLEANP))
 (146 146 (:TYPE-PRESCRIPTION BOOLEANP))
 )
(C$::IENV->LLONG-BYTES$INLINE-IENV-EQUIV-CONGRUENCE-ON-X)
(C$::IENV->PLAIN-CHAR-SIGNEDP$INLINE
 (4 1 (:REWRITE FTY::PROVE-EQUAL-OF-CONS-WHEN-FIRST-QUOTEP))
 )
(C$::BOOLEANP-OF-IENV->PLAIN-CHAR-SIGNEDP)
(C$::IENV->PLAIN-CHAR-SIGNEDP$INLINE-OF-IENV-FIX-X
 (12 4 (:REWRITE POS-FIX-WHEN-POSP))
 (9 3 (:REWRITE C$::IENV-FIX-WHEN-IENVP))
 (8 8 (:TYPE-PRESCRIPTION POSP))
 (6 6 (:TYPE-PRESCRIPTION C$::IENVP))
 )
(C$::IENV->PLAIN-CHAR-SIGNEDP$INLINE-IENV-EQUIV-CONGRUENCE-ON-X)
(C$::IENV)
(C$::IENVP-OF-IENV
 (641 233 (:REWRITE POS-FIX-WHEN-POSP))
 (42 20 (:REWRITE BOOL-FIX-WHEN-BOOLEANP))
 )
(C$::IENV->SHORT-BYTES-OF-IENV
 (246 100 (:REWRITE BOOL-FIX-WHEN-BOOLEANP))
 (146 146 (:TYPE-PRESCRIPTION BOOLEANP))
 )
(C$::IENV->INT-BYTES-OF-IENV
 (246 100 (:REWRITE BOOL-FIX-WHEN-BOOLEANP))
 (146 146 (:TYPE-PRESCRIPTION BOOLEANP))
 )
(C$::IENV->LONG-BYTES-OF-IENV
 (246 100 (:REWRITE BOOL-FIX-WHEN-BOOLEANP))
 (146 146 (:TYPE-PRESCRIPTION BOOLEANP))
 )
(C$::IENV->LLONG-BYTES-OF-IENV
 (246 100 (:REWRITE BOOL-FIX-WHEN-BOOLEANP))
 (146 146 (:TYPE-PRESCRIPTION BOOLEANP))
 )
(C$::IENV->PLAIN-CHAR-SIGNEDP-OF-IENV
 (12 4 (:REWRITE POS-FIX-WHEN-POSP))
 (8 8 (:TYPE-PRESCRIPTION POSP))
 )
(C$::IENV-REQUIREMENTS)
(C$::IENV-OF-FIELDS
 (22 22 (:REWRITE FTY::PROVE-EQUAL-OF-CONS-WHEN-FIRST-QUOTEP))
 (22 22 (:REWRITE FTY::EQUAL-OF-CONS-BY-EQUAL-OF-STRIP-CARS))
 (3 1 (:REWRITE C$::IENV-FIX-WHEN-IENVP))
 (2 2 (:TYPE-PRESCRIPTION C$::IENVP))
 )
(C$::IENV-FIX-WHEN-IENV
 (1814 43 (:REWRITE FTY::PROVE-EQUAL-OF-CONS-WHEN-FIRST-QUOTEP))
 (22 22 (:REWRITE FTY::EQUAL-OF-CONS-BY-EQUAL-OF-STRIP-CARS))
 (3 1 (:REWRITE C$::IENV-FIX-WHEN-IENVP))
 (2 2 (:TYPE-PRESCRIPTION C$::IENVP))
 )
(C$::EQUAL-OF-IENV
 (2060 2060 (:REWRITE BOOL-FIX-WHEN-BOOLEANP))
 (6 6 (:REWRITE FTY::PROVE-EQUAL-OF-CONS-WHEN-FIRST-QUOTEP))
 (6 6 (:REWRITE FTY::EQUAL-OF-CONS-BY-EQUAL-OF-STRIP-CARS))
 )
(C$::IENV-OF-POS-FIX-SHORT-BYTES
 (4 2 (:REWRITE BOOL-FIX-WHEN-BOOLEANP))
 (2 2 (:TYPE-PRESCRIPTION BOOLEANP))
 )
(C$::IENV-POS-EQUIV-CONGRUENCE-ON-SHORT-BYTES)
(C$::IENV-OF-POS-FIX-INT-BYTES
 (4 2 (:REWRITE BOOL-FIX-WHEN-BOOLEANP))
 (2 2 (:TYPE-PRESCRIPTION BOOLEANP))
 )
(C$::IENV-POS-EQUIV-CONGRUENCE-ON-INT-BYTES)
(C$::IENV-OF-POS-FIX-LONG-BYTES
 (4 2 (:REWRITE BOOL-FIX-WHEN-BOOLEANP))
 (2 2 (:TYPE-PRESCRIPTION BOOLEANP))
 )
(C$::IENV-POS-EQUIV-CONGRUENCE-ON-LONG-BYTES)
(C$::IENV-OF-POS-FIX-LLONG-BYTES
 (4 2 (:REWRITE BOOL-FIX-WHEN-BOOLEANP))
 (2 2 (:TYPE-PRESCRIPTION BOOLEANP))
 )
(C$::IENV-POS-EQUIV-CONGRUENCE-ON-LLONG-BYTES)
(C$::IENV-OF-BOOL-FIX-PLAIN-CHAR-SIGNEDP
 (16 8 (:REWRITE POS-FIX-WHEN-POSP))
 (8 8 (:TYPE-PRESCRIPTION POSP))
 )
(C$::IENV-IFF-CONGRUENCE-ON-PLAIN-CHAR-SIGNEDP)
(C$::IENV-FIX-REDEF)
(C$::IENV-DEFAULT)
(C$::SCHAR-MIN)
(C$::INTEGERP-OF-SCHAR-MIN)
(C$::SCHAR-MAX)
(C$::NATP-OF-SCHAR-MAX)
(C$::UCHAR-MAX)
(C$::NATP-OF-UCHAR-MAX)
(C$::CHAR-MIN)
(C$::INTEGERP-OF-CHAR-MIN)
(C$::CHAR-MIN-OF-IENV-FIX-IENV
 (3 1 (:REWRITE C$::IENV-FIX-WHEN-IENVP))
 (2 2 (:TYPE-PRESCRIPTION C$::IENVP))
 )
(C$::CHAR-MIN-IENV-EQUIV-CONGRUENCE-ON-IENV)
(C$::CHAR-MAX)
(C$::INTEGERP-OF-CHAR-MAX)
(C$::CHAR-MAX-OF-IENV-FIX-IENV
 (3 1 (:REWRITE C$::IENV-FIX-WHEN-IENVP))
 (2 2 (:TYPE-PRESCRIPTION C$::IENVP))
 )
(C$::CHAR-MAX-IENV-EQUIV-CONGRUENCE-ON-IENV)
(C$::SSHORT-MIN
 (15 15 (:TYPE-PRESCRIPTION EVENP))
 (10 5 (:TYPE-PRESCRIPTION EXPT-TYPE-ODD-EXPONENT-NEGATIVE-BASE))
 (10 5 (:TYPE-PRESCRIPTION EXPT-TYPE-EVEN-EXPONENT-2))
 (10 5 (:TYPE-PRESCRIPTION EXPT-TYPE-EVEN-EXPONENT-1))
 (5 5 (:TYPE-PRESCRIPTION EXPT-TYPE-SMALL-BASE-NEGATIVE-EXPONENT))
 )
(C$::INTEGERP-OF-SSHORT-MIN)
(C$::SSHORT-MIN-OF-IENV-FIX-IENV)
(C$::SSHORT-MIN-IENV-EQUIV-CONGRUENCE-ON-IENV)
(C$::SSHORT-MAX
 (15 15 (:TYPE-PRESCRIPTION EVENP))
 (10 5 (:TYPE-PRESCRIPTION EXPT-TYPE-ODD-EXPONENT-NEGATIVE-BASE))
 (10 5 (:TYPE-PRESCRIPTION EXPT-TYPE-EVEN-EXPONENT-2))
 (10 5 (:TYPE-PRESCRIPTION EXPT-TYPE-EVEN-EXPONENT-1))
 (5 5 (:TYPE-PRESCRIPTION EXPT-TYPE-SMALL-BASE-NEGATIVE-EXPONENT))
 )
(C$::NATP-OF-SSHORT-MAX)
(C$::SSHORT-MAX-OF-IENV-FIX-IENV)
(C$::SSHORT-MAX-IENV-EQUIV-CONGRUENCE-ON-IENV)
(C$::USHORT-MAX
 (15 15 (:TYPE-PRESCRIPTION EVENP))
 (10 5 (:TYPE-PRESCRIPTION EXPT-TYPE-ODD-EXPONENT-NEGATIVE-BASE))
 (10 5 (:TYPE-PRESCRIPTION EXPT-TYPE-EVEN-EXPONENT-2))
 (10 5 (:TYPE-PRESCRIPTION EXPT-TYPE-EVEN-EXPONENT-1))
 (5 5 (:TYPE-PRESCRIPTION EXPT-TYPE-SMALL-BASE-NEGATIVE-EXPONENT))
 )
(C$::NATP-OF-USHORT-MAX)
(C$::USHORT-MAX-OF-IENV-FIX-IENV)
(C$::USHORT-MAX-IENV-EQUIV-CONGRUENCE-ON-IENV)
(C$::SINT-MIN
 (15 15 (:TYPE-PRESCRIPTION EVENP))
 (10 5 (:TYPE-PRESCRIPTION EXPT-TYPE-ODD-EXPONENT-NEGATIVE-BASE))
 (10 5 (:TYPE-PRESCRIPTION EXPT-TYPE-EVEN-EXPONENT-2))
 (10 5 (:TYPE-PRESCRIPTION EXPT-TYPE-EVEN-EXPONENT-1))
 (5 5 (:TYPE-PRESCRIPTION EXPT-TYPE-SMALL-BASE-NEGATIVE-EXPONENT))
 )
(C$::INTEGERP-OF-SINT-MIN)
(C$::SINT-MIN-OF-IENV-FIX-IENV)
(C$::SINT-MIN-IENV-EQUIV-CONGRUENCE-ON-IENV)
(C$::SINT-MAX
 (15 15 (:TYPE-PRESCRIPTION EVENP))
 (10 5 (:TYPE-PRESCRIPTION EXPT-TYPE-ODD-EXPONENT-NEGATIVE-BASE))
 (10 5 (:TYPE-PRESCRIPTION EXPT-TYPE-EVEN-EXPONENT-2))
 (10 5 (:TYPE-PRESCRIPTION EXPT-TYPE-EVEN-EXPONENT-1))
 (5 5 (:TYPE-PRESCRIPTION EXPT-TYPE-SMALL-BASE-NEGATIVE-EXPONENT))
 )
(C$::NATP-OF-SINT-MAX)
(C$::SINT-MAX-OF-IENV-FIX-IENV)
(C$::SINT-MAX-IENV-EQUIV-CONGRUENCE-ON-IENV)
(C$::UINT-MAX
 (15 15 (:TYPE-PRESCRIPTION EVENP))
 (10 5 (:TYPE-PRESCRIPTION EXPT-TYPE-ODD-EXPONENT-NEGATIVE-BASE))
 (10 5 (:TYPE-PRESCRIPTION EXPT-TYPE-EVEN-EXPONENT-2))
 (10 5 (:TYPE-PRESCRIPTION EXPT-TYPE-EVEN-EXPONENT-1))
 (5 5 (:TYPE-PRESCRIPTION EXPT-TYPE-SMALL-BASE-NEGATIVE-EXPONENT))
 )
(C$::NATP-OF-UINT-MAX)
(C$::UINT-MAX-OF-IENV-FIX-IENV)
(C$::UINT-MAX-IENV-EQUIV-CONGRUENCE-ON-IENV)
(C$::SLONG-MIN
 (15 15 (:TYPE-PRESCRIPTION EVENP))
 (10 5 (:TYPE-PRESCRIPTION EXPT-TYPE-ODD-EXPONENT-NEGATIVE-BASE))
 (10 5 (:TYPE-PRESCRIPTION EXPT-TYPE-EVEN-EXPONENT-2))
 (10 5 (:TYPE-PRESCRIPTION EXPT-TYPE-EVEN-EXPONENT-1))
 (5 5 (:TYPE-PRESCRIPTION EXPT-TYPE-SMALL-BASE-NEGATIVE-EXPONENT))
 )
(C$::INTEGERP-OF-SLONG-MIN)
(C$::SLONG-MIN-OF-IENV-FIX-IENV)
(C$::SLONG-MIN-IENV-EQUIV-CONGRUENCE-ON-IENV)
(C$::SLONG-MAX
 (15 15 (:TYPE-PRESCRIPTION EVENP))
 (10 5 (:TYPE-PRESCRIPTION EXPT-TYPE-ODD-EXPONENT-NEGATIVE-BASE))
 (10 5 (:TYPE-PRESCRIPTION EXPT-TYPE-EVEN-EXPONENT-2))
 (10 5 (:TYPE-PRESCRIPTION EXPT-TYPE-EVEN-EXPONENT-1))
 (5 5 (:TYPE-PRESCRIPTION EXPT-TYPE-SMALL-BASE-NEGATIVE-EXPONENT))
 )
(C$::NATP-OF-SLONG-MAX)
(C$::SLONG-MAX-OF-IENV-FIX-IENV)
(C$::SLONG-MAX-IENV-EQUIV-CONGRUENCE-ON-IENV)
(C$::ULONG-MAX
 (15 15 (:TYPE-PRESCRIPTION EVENP))
 (10 5 (:TYPE-PRESCRIPTION EXPT-TYPE-ODD-EXPONENT-NEGATIVE-BASE))
 (10 5 (:TYPE-PRESCRIPTION EXPT-TYPE-EVEN-EXPONENT-2))
 (10 5 (:TYPE-PRESCRIPTION EXPT-TYPE-EVEN-EXPONENT-1))
 (5 5 (:TYPE-PRESCRIPTION EXPT-TYPE-SMALL-BASE-NEGATIVE-EXPONENT))
 )
(C$::NATP-OF-ULONG-MAX)
(C$::ULONG-MAX-OF-IENV-FIX-IENV)
(C$::ULONG-MAX-IENV-EQUIV-CONGRUENCE-ON-IENV)
(C$::SLLONG-MIN
 (15 15 (:TYPE-PRESCRIPTION EVENP))
 (10 5 (:TYPE-PRESCRIPTION EXPT-TYPE-ODD-EXPONENT-NEGATIVE-BASE))
 (10 5 (:TYPE-PRESCRIPTION EXPT-TYPE-EVEN-EXPONENT-2))
 (10 5 (:TYPE-PRESCRIPTION EXPT-TYPE-EVEN-EXPONENT-1))
 (5 5 (:TYPE-PRESCRIPTION EXPT-TYPE-SMALL-BASE-NEGATIVE-EXPONENT))
 )
(C$::INTEGERP-OF-SLLONG-MIN)
(C$::SLLONG-MIN-OF-IENV-FIX-IENV)
(C$::SLLONG-MIN-IENV-EQUIV-CONGRUENCE-ON-IENV)
(C$::SLLONG-MAX
 (15 15 (:TYPE-PRESCRIPTION EVENP))
 (10 5 (:TYPE-PRESCRIPTION EXPT-TYPE-ODD-EXPONENT-NEGATIVE-BASE))
 (10 5 (:TYPE-PRESCRIPTION EXPT-TYPE-EVEN-EXPONENT-2))
 (10 5 (:TYPE-PRESCRIPTION EXPT-TYPE-EVEN-EXPONENT-1))
 (5 5 (:TYPE-PRESCRIPTION EXPT-TYPE-SMALL-BASE-NEGATIVE-EXPONENT))
 )
(C$::NATP-OF-SLLONG-MAX)
(C$::SLLONG-MAX-OF-IENV-FIX-IENV)
(C$::SLLONG-MAX-IENV-EQUIV-CONGRUENCE-ON-IENV)
(C$::ULLONG-MAX
 (15 15 (:TYPE-PRESCRIPTION EVENP))
 (10 5 (:TYPE-PRESCRIPTION EXPT-TYPE-ODD-EXPONENT-NEGATIVE-BASE))
 (10 5 (:TYPE-PRESCRIPTION EXPT-TYPE-EVEN-EXPONENT-2))
 (10 5 (:TYPE-PRESCRIPTION EXPT-TYPE-EVEN-EXPONENT-1))
 (5 5 (:TYPE-PRESCRIPTION EXPT-TYPE-SMALL-BASE-NEGATIVE-EXPONENT))
 )
(C$::NATP-OF-ULLONG-MAX)
(C$::ULLONG-MAX-OF-IENV-FIX-IENV)
(C$::ULLONG-MAX-IENV-EQUIV-CONGRUENCE-ON-IENV)
(C$::SCHAR-RANGEP)
(C$::BOOLEANP-OF-SCHAR-RANGEP)
(C$::SCHAR-RANGEP-OF-IFIX-VAL)
(C$::SCHAR-RANGEP-INT-EQUIV-CONGRUENCE-ON-VAL)
(C$::UCHAR-RANGEP)
(C$::BOOLEANP-OF-UCHAR-RANGEP)
(C$::UCHAR-RANGEP-OF-IFIX-VAL)
(C$::UCHAR-RANGEP-INT-EQUIV-CONGRUENCE-ON-VAL)
(C$::SSHORT-RANGEP)
(C$::BOOLEANP-OF-SSHORT-RANGEP)
(C$::SSHORT-RANGEP-OF-IFIX-VAL)
(C$::SSHORT-RANGEP-INT-EQUIV-CONGRUENCE-ON-VAL)
(C$::SSHORT-RANGEP-OF-IENV-FIX-IENV
 (3 1 (:REWRITE C$::IENV-FIX-WHEN-IENVP))
 (2 2 (:TYPE-PRESCRIPTION C$::IENVP))
 )
(C$::SSHORT-RANGEP-IENV-EQUIV-CONGRUENCE-ON-IENV)
(C$::USHORT-RANGEP)
(C$::BOOLEANP-OF-USHORT-RANGEP)
(C$::USHORT-RANGEP-OF-IFIX-VAL)
(C$::USHORT-RANGEP-INT-EQUIV-CONGRUENCE-ON-VAL)
(C$::USHORT-RANGEP-OF-IENV-FIX-IENV
 (3 1 (:REWRITE C$::IENV-FIX-WHEN-IENVP))
 (2 2 (:TYPE-PRESCRIPTION C$::IENVP))
 )
(C$::USHORT-RANGEP-IENV-EQUIV-CONGRUENCE-ON-IENV)
(C$::SINT-RANGEP)
(C$::BOOLEANP-OF-SINT-RANGEP)
(C$::SINT-RANGEP-OF-IFIX-VAL)
(C$::SINT-RANGEP-INT-EQUIV-CONGRUENCE-ON-VAL)
(C$::SINT-RANGEP-OF-IENV-FIX-IENV
 (3 1 (:REWRITE C$::IENV-FIX-WHEN-IENVP))
 (2 2 (:TYPE-PRESCRIPTION C$::IENVP))
 )
(C$::SINT-RANGEP-IENV-EQUIV-CONGRUENCE-ON-IENV)
(C$::UINT-RANGEP)
(C$::BOOLEANP-OF-UINT-RANGEP)
(C$::UINT-RANGEP-OF-IFIX-VAL)
(C$::UINT-RANGEP-INT-EQUIV-CONGRUENCE-ON-VAL)
(C$::UINT-RANGEP-OF-IENV-FIX-IENV
 (3 1 (:REWRITE C$::IENV-FIX-WHEN-IENVP))
 (2 2 (:TYPE-PRESCRIPTION C$::IENVP))
 )
(C$::UINT-RANGEP-IENV-EQUIV-CONGRUENCE-ON-IENV)
(C$::SLONG-RANGEP)
(C$::BOOLEANP-OF-SLONG-RANGEP)
(C$::SLONG-RANGEP-OF-IFIX-VAL)
(C$::SLONG-RANGEP-INT-EQUIV-CONGRUENCE-ON-VAL)
(C$::SLONG-RANGEP-OF-IENV-FIX-IENV
 (3 1 (:REWRITE C$::IENV-FIX-WHEN-IENVP))
 (2 2 (:TYPE-PRESCRIPTION C$::IENVP))
 )
(C$::SLONG-RANGEP-IENV-EQUIV-CONGRUENCE-ON-IENV)
(C$::ULONG-RANGEP)
(C$::BOOLEANP-OF-ULONG-RANGEP)
(C$::ULONG-RANGEP-OF-IFIX-VAL)
(C$::ULONG-RANGEP-INT-EQUIV-CONGRUENCE-ON-VAL)
(C$::ULONG-RANGEP-OF-IENV-FIX-IENV
 (3 1 (:REWRITE C$::IENV-FIX-WHEN-IENVP))
 (2 2 (:TYPE-PRESCRIPTION C$::IENVP))
 )
(C$::ULONG-RANGEP-IENV-EQUIV-CONGRUENCE-ON-IENV)
(C$::SLLONG-RANGEP)
(C$::BOOLEANP-OF-SLLONG-RANGEP)
(C$::SLLONG-RANGEP-OF-IFIX-VAL)
(C$::SLLONG-RANGEP-INT-EQUIV-CONGRUENCE-ON-VAL)
(C$::SLLONG-RANGEP-OF-IENV-FIX-IENV
 (3 1 (:REWRITE C$::IENV-FIX-WHEN-IENVP))
 (2 2 (:TYPE-PRESCRIPTION C$::IENVP))
 )
(C$::SLLONG-RANGEP-IENV-EQUIV-CONGRUENCE-ON-IENV)
(C$::ULLONG-RANGEP)
(C$::BOOLEANP-OF-ULLONG-RANGEP)
(C$::ULLONG-RANGEP-OF-IFIX-VAL)
(C$::ULLONG-RANGEP-INT-EQUIV-CONGRUENCE-ON-VAL)
(C$::ULLONG-RANGEP-OF-IENV-FIX-IENV
 (3 1 (:REWRITE C$::IENV-FIX-WHEN-IENVP))
 (2 2 (:TYPE-PRESCRIPTION C$::IENVP))
 )
(C$::ULLONG-RANGEP-IENV-EQUIV-CONGRUENCE-ON-IENV)
