+ ;; DEFINE-SYMBOL-MACRO stuff fixed by NJF patch merged 2002-03-31:
+ ;; :SECTION3-LEGACY-807
+ ;; :SECTION3-LEGACY-812
+ ;; :SECTION3-LEGACY-816
+ ;; :SECTION3-LEGACY-820
+ ;; :SECTION3-LEGACY-824
+ ;; :SECTION3-LEGACY-832
+ ;; :SECTION3-LEGACY-844