(STD::FOO
 (1 1 (:TYPE-PRESCRIPTION STD::FOO))
 )
(STD::UNSIGNED-BYTE-P-FOO
 (51 51 (:TYPE-PRESCRIPTION STD::FOO))
 (8 8 (:REWRITE DEFAULT-<-2))
 (8 8 (:REWRITE DEFAULT-<-1))
 )
(STD::BAR
 (1 1 (:TYPE-PRESCRIPTION STD::BAR))
 )
(STD::UNSIGNED-BYTE-P-BAR
 (51 51 (:TYPE-PRESCRIPTION STD::BAR))
 (8 8 (:REWRITE DEFAULT-<-2))
 (8 8 (:REWRITE DEFAULT-<-1))
 )
(STD::DECREMENT)
(STD::UNSIGNED-BYTE-P-DECREMENT
 (5 5 (:REWRITE DEFAULT-<-2))
 (5 5 (:REWRITE DEFAULT-<-1))
 (4 2 (:TYPE-PRESCRIPTION STD::UNSIGNED-BYTE-P-DECREMENT))
 (1 1 (:REWRITE DEFAULT-+-2))
 (1 1 (:REWRITE DEFAULT-+-1))
 )
