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