(HINT-WRAPPER)
(HINT-WRAPPER-FORWARD)
(EXTRACT-HINT-WRAPPER)
(HINT-WRAPPER-HINT)
(FOO)
(TEST1)
(TEST2)
(TEST3
 (3 2 (:REWRITE DEFAULT-CDR))
 (3 2 (:REWRITE DEFAULT-CAR))
 )
(TEST4
 (3 2 (:REWRITE DEFAULT-CDR))
 (3 2 (:REWRITE DEFAULT-CAR))
 )
