(DEFMAX-NAT-PROCESS-INPUTS)
(NULL-OF-DEFMAX-NAT-PROCESS-INPUTS.NOTHING
 (22 22 (:REWRITE RETURN-TYPE-OF-ENSURE-VALUE-IS-SYMBOL.ERP))
 (8 8 (:REWRITE RETURN-TYPE-OF-ENSURE-VALUE-IS-SYMBOL-LIST.ERP))
 (6 6 (:REWRITE RETURN-TYPE-OF-ENSURE-VALUE-IS-BOOLEAN.ERP))
 )
(DEFMAX-NAT-GEN-EVERYTHING)
(DEFMAX-NAT-FN)
