(UNSIGNED-BYTE-P-FORCED)
(UNSIGNED-BYTE-P-FORCED-FORWARD-TO-UNSIGNED-BYTE-P
 (26 2 (:DEFINITION EXPT))
 (10 8 (:REWRITE DEFAULT-<-2))
 (8 8 (:REWRITE DEFAULT-<-1))
 (6 2 (:REWRITE DEFAULT-*-2))
 (6 2 (:REWRITE COMMUTATIVITY-OF-+))
 (4 4 (:REWRITE DEFAULT-+-2))
 (4 4 (:REWRITE DEFAULT-+-1))
 (2 2 (:REWRITE ZIP-OPEN))
 (2 2 (:REWRITE DEFAULT-*-1))
 )
