(VL2014::WF-PROGN-WARN-FN)
(VL2014::WF-AND-WARN-FN)
(VL2014::WF-PRETTY-IF)
(VL2014::WF-REWRITE-BODY)
(VL2014::WF-WARN-NAME)
(VL2014::WF-WARN-NAME-LIST-EXEC)
(VL2014::WF-WARN-NAME-LIST-NREV)
(VL2014::WF-WARN-NAME-LIST)
(VL2014::WF-NORMAL-DEFUN)
(VL2014::WF-WARN-DEFUN)
(VL2014::WF-PARSE-DEFWELLFORMED-FORMS)
(VL2014::WF-PARSED-FORMS-TO-NORMAL-DEFUNS)
(VL2014::WF-PARSED-FORMS-TO-WARN-DEFUNS)
(VL2014::WF-PARSED-FORMS-TO-NAMES)
(VL2014::WF-FLAG-ELIM-CASES)
(VL2014::WF-FLAG-WLIST-CASES)
(VL2014::MUTUAL-DEFWELLFORMED-START-FN)
(VL2014::MUTUAL-DEFWELLFORMED-FINISH-FN)
