(UBYTE20P)
(BOOLEANP-OF-UBYTE20P)
(UBYTE20P-FORWARD-UNSIGNED-BYTE-P)
(UNSIGNED-BYTE-P-REWRITE-UBYTE20P)
(NATP-WHEN-UBYTE20P)
(UBYTE20-FIX)
(UBYTE20P-OF-UBYTE20-FIX)
(UBYTE20-FIX-WHEN-UBYTE20P)
(FTY::TMP-DEFFIXTYPE-IDEMPOTENT)
(UBYTE20-EQUIV$INLINE)
(UBYTE20-EQUIV-IS-AN-EQUIVALENCE)
(UBYTE20-EQUIV-IMPLIES-EQUAL-UBYTE20-FIX-1)
(UBYTE20-FIX-UNDER-UBYTE20-EQUIV)
(EQUAL-OF-UBYTE20-FIX-1-FORWARD-TO-UBYTE20-EQUIV)
(EQUAL-OF-UBYTE20-FIX-2-FORWARD-TO-UBYTE20-EQUIV)
(UBYTE20-EQUIV-OF-UBYTE20-FIX-1-FORWARD)
(UBYTE20-EQUIV-OF-UBYTE20-FIX-2-FORWARD)
