(INTEGERP-WHEN-UNSIGNED-BYTE-P)
(FOO)
(USB16-OF-FOO)
(INTEGERP-OF-FOO
 (2 2 (:REWRITE INTEGERP-WHEN-UNSIGNED-BYTE-P))
 )
(INTEGERP-WHEN-UNSIGNED-BYTE-P2)
(INTEGERP-OF-FOO)
(INTEGERP-OF-FOO-2)
(INTEGERP-OF-FOO-OF-CONS)
(INTEGERP-WHEN-UNSIGNED-BYTE-P)
(FOO2)
(BAR)
(USB16-OF-FOO2-OF-BAR)
(INTEGERP-WHEN-UNSIGNED-BYTE-P2)
(INTEGERP-OF-FOO2)
