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