(PACK-SYMBOL-WITH-SYMBOL
 (6 6 (:REWRITE DEFAULT-SYMBOL-NAME))
 (5 5 (:REWRITE DEFAULT-CDR))
 (5 5 (:REWRITE DEFAULT-CAR))
 )
(PACK-SYMBOL-WITH-SYMBOLS
 (2 2 (:REWRITE DEFAULT-CAR))
 (1 1 (:REWRITE DEFAULT-CDR))
 )
(PACK-SYMBOLS-WITH-SYMBOLS
 (4 4 (:REWRITE DEFAULT-CAR))
 (3 3 (:REWRITE DEFAULT-CDR))
 )
