(TYPED-IO-LISTP-OF-REVAPPEND
 (240 159 (:REWRITE DEFAULT-CAR))
 (145 100 (:REWRITE DEFAULT-CDR))
 (69 69 (:REWRITE DEFAULT-<-2))
 (69 69 (:REWRITE DEFAULT-<-1))
 )
(TYPED-IO-LISTP-OF-CHARACTER-BECOMES-CHARACTER-LISTP
 (10 10 (:REWRITE DEFAULT-CAR))
 (4 4 (:REWRITE DEFAULT-CDR))
 )
(NAT-LISTP-WHEN-TYPED-IO-LISTP-OF-BYTE
 (23 23 (:REWRITE DEFAULT-CAR))
 (14 14 (:REWRITE DEFAULT-<-2))
 (14 14 (:REWRITE DEFAULT-<-1))
 (4 4 (:REWRITE DEFAULT-CDR))
 )
(UNSIGNED-BYTE-LISTP-WHEN-TYPED-IO-LISTP-OF-BYTE
 (28 28 (:REWRITE DEFAULT-CAR))
 (23 23 (:REWRITE DEFAULT-<-2))
 (23 23 (:REWRITE DEFAULT-<-1))
 (4 4 (:REWRITE DEFAULT-CDR))
 )
(TYPED-IO-LISTP-OF-CDR
 (30 30 (:REWRITE DEFAULT-CAR))
 (26 26 (:REWRITE DEFAULT-CDR))
 (14 14 (:REWRITE DEFAULT-<-2))
 (14 14 (:REWRITE DEFAULT-<-1))
 )
