(HINT-HAS-GOAL-SPECP)
(HINT-HAS-GOAL-SPECP-FORWARD-TO-CONSP)
(SOME-HINT-HAS-GOAL-SPECP)
(HINT-KEYWORD-VALUE-LIST-FOR-GOAL-SPEC
 (48 4 (:DEFINITION NTH))
 (20 16 (:REWRITE DEFAULT-+-2))
 (20 4 (:DEFINITION LEN))
 (16 16 (:REWRITE DEFAULT-+-1))
 (12 12 (:REWRITE DEFAULT-CDR))
 (12 8 (:REWRITE DEFAULT-<-2))
 (12 4 (:REWRITE STANDARD-CHAR-P-NTH))
 (12 4 (:REWRITE FOLD-CONSTS-IN-+))
 (8 8 (:TYPE-PRESCRIPTION STANDARD-CHAR-LISTP))
 (8 8 (:REWRITE DEFAULT-COERCE-2))
 (8 8 (:REWRITE DEFAULT-COERCE-1))
 (8 8 (:REWRITE DEFAULT-<-1))
 (5 5 (:REWRITE DEFAULT-CAR))
 (2 1 (:DEFINITION TRUE-LISTP))
 )
