From 10c970c40e8c32a1b407f597a87119a65045083a Mon Sep 17 00:00:00 2001
From: cxxxr <g23tlm@gmail.com>
Date: Sun, 12 Nov 2023 17:54:03 +0900
Subject: [PATCH] micros/walker: for clause

---
 contrib/walker/example.lisp          |   20 +
 contrib/walker/loop-form.lisp        |   93 +-
 contrib/walker/tests/test-cases.lisp | 2054 ++++++++++++++++++++++++++
 contrib/walker/tests/tests.lisp      | 1855 +----------------------
 4 files changed, 2164 insertions(+), 1858 deletions(-)
 create mode 100644 contrib/walker/tests/test-cases.lisp

diff --git a/contrib/walker/example.lisp b/contrib/walker/example.lisp
index 145e69a..f8edcc1 100644
--- a/contrib/walker/example.lisp
+++ b/contrib/walker/example.lisp
@@ -134,3 +134,23 @@
 
 (loop :with ((x y) . z) := (f)
       :with a := (+ x y z))
+
+(loop :for x :in '(1 2 3) :do (print x))
+(loop :with foo
+      :for x :in '(1 2 3) :do (print x))
+(loop :with foo := nil
+      :for x :in '(1 2 3) :do (print x))
+(loop :with fn := #'cddr :and a
+      :for x :in (list a) :by fn :do (print x))
+
+(loop :for x :on '(1 2 3) :do (print x))
+(loop :with foo
+      :for x :on '(1 2 3) :do (print x))
+(loop :with foo := nil
+      :for x :on '(1 2 3) :do (print x))
+(loop :with fn := #'cddr :and a
+      :for x :on (list a) :by fn :do (print x))
+(loop :for x := 1
+      :do (f x))
+(loop :for x := 1 :then (f x)
+      :do (f x))
diff --git a/contrib/walker/loop-form.lisp b/contrib/walker/loop-form.lisp
index c6d30c5..2996632 100644
--- a/contrib/walker/loop-form.lisp
+++ b/contrib/walker/loop-form.lisp
@@ -18,6 +18,8 @@
    (fianl-clauses :initarg :final-clauses
                   :type (proper-list final-clause)
                   :reader loop-form-final-clauses)
+   (for-as-clauses :initarg :for-as-clauses
+                   :reader loop-form-for-as-clauses)
    (doing-forms :initarg :doing-forms
                 :type (proper-list ast)
                 :reader loop-form-doing-forms)
@@ -49,6 +51,31 @@
 (defclass it-form (ast)
   ())
 
+(defclass <for-as-in-on-list-clause> (ast <with-binding-form>)
+  ((binding :initarg :binding
+            :reader ast-binding)
+   (in-on :initarg :in-on
+          :reader ast-in-on)
+   (by :initarg :by
+       :reader ast-by)))
+
+(defclass for-as-in-list-clause (<for-as-in-on-list-clause>) ())
+(defclass for-as-on-list-clause (<for-as-in-on-list-clause>) ())
+
+(defclass for-as-equals-then-clause (ast <with-binding-form>)
+  ((binding :initarg :binding
+            :reader ast-binding)
+   (equals :initarg :equals
+           :reader ast-equals)
+   (then :initarg :then
+         :reader ast-then)))
+
+(defclass for-across-clause (ast <with-binding-form>)
+  ((binding :initarg :binding
+            :reader ast-binding)
+   (across :initarg :across
+           :reader ast-across)))
+
 (defun walk-d-var-spec (walker d-var-spec env path)
   (cond ((null d-var-spec)
          '())
@@ -80,6 +107,7 @@
         (with-clauses '())
         (initial-clauses '())
         (final-clauses '())
+        (for-as-clauses '())
         (doing-forms '())
         (return-forms '()))
     (labels ((lookahead ()
@@ -180,20 +208,59 @@
                (let ((var (exact-var)))
                  (type-spec)
                  (let ((binding (make-instance 'lexical-variable-binding :name var)))
-                   (declare (ignore binding))
                    (cond ((accept :in)
-                          )
+                          (for-as-in-list binding))
                          ((accept :on)
-                          )
+                          (for-as-on-list binding))
                          ((accept :=)
-                          )
+                          (for-as-equals-then binding))
                          ((accept :across)
-                          )
+                          (for-as-across binding))
                          ((accept :being)
+                          ;; TODO
                           )
                          (t
                           ;; TODO: error
+                          ;; TODO: from, to, downfrom, downto, above, by
                           )))))
+
+             (for-as-in-on-list (ast-class binding)
+               (let* ((for-pos (- pos 2))
+                      (in (walk walker (next) env (cons (+ for-pos 3) path)))
+                      (by (when (accept :by)
+                            (walk walker (next) env (cons (+ for-pos 5) path)))))
+                 (push (make-instance ast-class
+                                      :path (cons (+ for-pos 1) path)
+                                      :binding binding
+                                      :in-on in
+                                      :by by)
+                       for-as-clauses)
+                 (setf env (extend-env env binding))))
+             (for-as-in-list (binding)
+               (for-as-in-on-list 'for-as-in-list-clause binding))
+             (for-as-on-list (binding)
+               (for-as-in-on-list 'for-as-on-list-clause binding))
+             (for-as-equals-then (binding)
+               (setf env (extend-env env binding))
+               (let* ((for-pos (- pos 2))
+                      (in (walk walker (next) env (cons (+ for-pos 3) path)))
+                      (by (when (accept :then)
+                            (walk walker (next) env (cons (+ for-pos 5) path)))))
+                 (push (make-instance 'for-as-equals-then-clause
+                                      :path (cons (+ for-pos 1) path)
+                                      :binding binding
+                                      :equals in
+                                      :then by)
+                       for-as-clauses)))
+             (for-as-across (binding)
+               (let* ((for-pos (- pos 2))
+                      (across (walk walker (next) env (cons (+ for-pos 3) path))))
+                 (push (make-instance 'for-across-clause
+                                      :path (cons (+ for-pos 1) path)
+                                      :binding binding
+                                      :across across)
+                       for-as-clauses))
+               (setf env (extend-env env binding)))
              (type-spec ()
                (cond ((member (lookahead) '(t nil fixnum float))
                       (next)
@@ -219,6 +286,7 @@
                      :with-clauses (nreverse with-clauses)
                      :initial-clauses (nreverse initial-clauses)
                      :final-clauses (nreverse final-clauses)
+                     :for-as-clauses (nreverse for-as-clauses)
                      :doing-forms (nreverse doing-forms)
                      :return-forms (nreverse return-forms)))))
 
@@ -238,12 +306,14 @@
   (visit-foreach visitor (loop-form-with-clauses ast))
   (visit-foreach visitor (loop-form-initial-clauses ast))
   (visit-foreach visitor (loop-form-final-clauses ast))
+  (visit-foreach visitor (loop-form-for-as-clauses ast))
   (visit-foreach visitor (loop-form-doing-forms ast))
   (visit-foreach visitor (loop-form-return-forms ast)))
 
 (defmethod visit (visitor (ast with-clause))
   (visit-foreach visitor (ast-d-vars ast))
-  (visit visitor (ast-value ast)))
+  (when (ast-value ast)
+    (visit visitor (ast-value ast))))
 
 (defmethod visit (visitor (ast initial-clause))
   (visit-foreach visitor (ast-forms ast)))
@@ -254,5 +324,16 @@
 (defmethod visit (visitor (ast it-form))
   nil)
 
+(defmethod visit (visitor (ast <for-as-in-on-list-clause>))
+  (visit visitor (ast-in-on ast))
+  (when (ast-by ast) (visit visitor (ast-by ast))))
+
+(defmethod visit (visitor (ast for-as-equals-then-clause))
+  (visit visitor (ast-equals ast))
+  (when (ast-then ast) (visit visitor (ast-then ast))))
+
+(defmethod visit (visitor (ast for-across-clause))
+  (visit visitor (ast-across ast)))
+
 (defmethod visit (visitor (ast simple-loop-form))
   (visit visitor (ast-body ast)))
diff --git a/contrib/walker/tests/test-cases.lisp b/contrib/walker/tests/test-cases.lisp
new file mode 100644
index 0000000..0d0fd16
--- /dev/null
+++ b/contrib/walker/tests/test-cases.lisp
@@ -0,0 +1,2054 @@
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (BLOCK FOO
+    (RETURN-FROM FOO 10)
+    (BLOCK FOO (RETURN-FROM FOO 20) (RETURN-FROM FOO 30))
+    (RETURN-FROM FOO 40))
+  (1))
+ ((1 4) (1 2) (1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS FOO NIL) NIL)
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS FOO NIL) NIL)
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS FOO NIL) NIL)
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (BLOCK FOO
+    (RETURN-FROM FOO 10)
+    (BLOCK FOO (RETURN-FROM FOO 20) (RETURN-FROM FOO 30))
+    (RETURN-FROM FOO 40))
+  (1))
+ ((1 4) (1 2) (1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (BLOCK FOO
+    (RETURN-FROM FOO 10)
+    (BLOCK FOO (RETURN-FROM FOO 20) (RETURN-FROM FOO 30))
+    (RETURN-FROM FOO 40))
+  (1 2))
+ ((1 4) (1 2) (1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (BLOCK FOO
+    (RETURN-FROM FOO 10)
+    (BLOCK FOO (RETURN-FROM FOO 20) (RETURN-FROM FOO 30))
+    (RETURN-FROM FOO 40))
+  (1 3))
+ ((1 3 3) (1 2 3) (1 3)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (BLOCK FOO
+    (RETURN-FROM FOO 10)
+    (BLOCK FOO (RETURN-FROM FOO 20) (RETURN-FROM FOO 30))
+    (RETURN-FROM FOO 40))
+  (1 2 3))
+ ((1 3 3) (1 2 3) (1 3)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (BLOCK FOO
+    (RETURN-FROM FOO 10)
+    (BLOCK FOO (RETURN-FROM FOO 20) (RETURN-FROM FOO 30))
+    (RETURN-FROM FOO 40))
+  (1 3 3))
+ ((1 3 3) (1 2 3) (1 3)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (BLOCK FOO
+    (RETURN-FROM FOO 10)
+    (BLOCK FOO (RETURN-FROM FOO 20) (RETURN-FROM FOO 30))
+    (RETURN-FROM FOO 40))
+  (1 4))
+ ((1 4) (1 2) (1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET* ((A 0) (B A))
+    (LET* ((A A) (B A))
+      A)
+    A)
+  (0 0 1))
+ ((3) (1 0 1 2) (1 1 1) (0 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET* ((A 0) (B A))
+    (LET* ((A A) (B A))
+      A)
+    A)
+  (0 1 1))
+ ((0 1 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET* ((A 0) (B A))
+    (LET* ((A A) (B A))
+      A)
+    A)
+  (1 1 1))
+ ((3) (1 0 1 2) (1 1 1) (0 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET* ((A 0) (B A))
+    (LET* ((A A) (B A))
+      A)
+    A)
+  (0 0 1 2))
+ ((2 2) (1 1 1 2) (0 0 1 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET* ((A 0) (B A))
+    (LET* ((A A) (B A))
+      A)
+    A)
+  (1 0 1 2))
+ ((3) (1 0 1 2) (1 1 1) (0 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET* ((A 0) (B A))
+    (LET* ((A A) (B A))
+      A)
+    A)
+  (0 1 1 2))
+ ((0 1 1 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET* ((A 0) (B A))
+    (LET* ((A A) (B A))
+      A)
+    A)
+  (1 1 1 2))
+ ((2 2) (1 1 1 2) (0 0 1 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET* ((A 0) (B A))
+    (LET* ((A A) (B A))
+      A)
+    A)
+  (2 2))
+ ((2 2) (1 1 1 2) (0 0 1 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET* ((A 0) (B A))
+    (LET* ((A A) (B A))
+      A)
+    A)
+  (3))
+ ((3) (1 0 1 2) (1 1 1) (0 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 1))
+    (LET ((B A))
+      A
+      B))
+  (0 0 1))
+ ((2 2) (1 0 1 2) (0 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 1))
+    (LET ((B A))
+      A
+      B))
+  (0 0 1 2))
+ ((3 2) (0 0 1 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 1))
+    (LET ((B A))
+      A
+      B))
+  (1 0 1 2))
+ ((2 2) (1 0 1 2) (0 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 1))
+    (LET ((B A))
+      A
+      B))
+  (2 2))
+ ((2 2) (1 0 1 2) (0 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 1))
+    (LET ((B A))
+      A
+      B))
+  (3 2))
+ ((3 2) (0 0 1 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 0) (B 1))
+    (LOAD-TIME-VALUE A B)
+    (MULTIPLE-VALUE-CALL 'F A B A)
+    (SETQ A B
+          B A)
+    (PROGN A B)
+    (MULTIPLE-VALUE-PROG1 A B A)
+    (UNWIND-PROTECT A (THE INTEGER B) C))
+  (0 0 1))
+ ((1 7) (3 6) (1 6) (1 5) (4 4) (1 4) (4 3) (2 3) (1 2) (0 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 0) (B 1))
+    (LOAD-TIME-VALUE A B)
+    (MULTIPLE-VALUE-CALL 'F A B A)
+    (SETQ A B
+          B A)
+    (PROGN A B)
+    (MULTIPLE-VALUE-PROG1 A B A)
+    (UNWIND-PROTECT A (THE INTEGER B) C))
+  (0 1 1))
+ ((2 2 7) (2 6) (2 5) (3 4) (2 4) (3 3) (2 2) (0 1 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 0) (B 1))
+    (LOAD-TIME-VALUE A B)
+    (MULTIPLE-VALUE-CALL 'F A B A)
+    (SETQ A B
+          B A)
+    (PROGN A B)
+    (MULTIPLE-VALUE-PROG1 A B A)
+    (UNWIND-PROTECT A (THE INTEGER B) C))
+  (1 2))
+ ((1 7) (3 6) (1 6) (1 5) (4 4) (1 4) (4 3) (2 3) (1 2) (0 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 0) (B 1))
+    (LOAD-TIME-VALUE A B)
+    (MULTIPLE-VALUE-CALL 'F A B A)
+    (SETQ A B
+          B A)
+    (PROGN A B)
+    (MULTIPLE-VALUE-PROG1 A B A)
+    (UNWIND-PROTECT A (THE INTEGER B) C))
+  (2 2))
+ ((2 2 7) (2 6) (2 5) (3 4) (2 4) (3 3) (2 2) (0 1 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 0) (B 1))
+    (LOAD-TIME-VALUE A B)
+    (MULTIPLE-VALUE-CALL 'F A B A)
+    (SETQ A B
+          B A)
+    (PROGN A B)
+    (MULTIPLE-VALUE-PROG1 A B A)
+    (UNWIND-PROTECT A (THE INTEGER B) C))
+  (2 2))
+ ((2 2 7) (2 6) (2 5) (3 4) (2 4) (3 3) (2 2) (0 1 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 0) (B 1))
+    (LOAD-TIME-VALUE A B)
+    (MULTIPLE-VALUE-CALL 'F A B A)
+    (SETQ A B
+          B A)
+    (PROGN A B)
+    (MULTIPLE-VALUE-PROG1 A B A)
+    (UNWIND-PROTECT A (THE INTEGER B) C))
+  (2 3))
+ ((1 7) (3 6) (1 6) (1 5) (4 4) (1 4) (4 3) (2 3) (1 2) (0 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 0) (B 1))
+    (LOAD-TIME-VALUE A B)
+    (MULTIPLE-VALUE-CALL 'F A B A)
+    (SETQ A B
+          B A)
+    (PROGN A B)
+    (MULTIPLE-VALUE-PROG1 A B A)
+    (UNWIND-PROTECT A (THE INTEGER B) C))
+  (3 3))
+ ((2 2 7) (2 6) (2 5) (3 4) (2 4) (3 3) (2 2) (0 1 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 0) (B 1))
+    (LOAD-TIME-VALUE A B)
+    (MULTIPLE-VALUE-CALL 'F A B A)
+    (SETQ A B
+          B A)
+    (PROGN A B)
+    (MULTIPLE-VALUE-PROG1 A B A)
+    (UNWIND-PROTECT A (THE INTEGER B) C))
+  (4 3))
+ ((1 7) (3 6) (1 6) (1 5) (4 4) (1 4) (4 3) (2 3) (1 2) (0 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 0) (B 1))
+    (LOAD-TIME-VALUE A B)
+    (MULTIPLE-VALUE-CALL 'F A B A)
+    (SETQ A B
+          B A)
+    (PROGN A B)
+    (MULTIPLE-VALUE-PROG1 A B A)
+    (UNWIND-PROTECT A (THE INTEGER B) C))
+  (1 4))
+ ((1 7) (3 6) (1 6) (1 5) (4 4) (1 4) (4 3) (2 3) (1 2) (0 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 0) (B 1))
+    (LOAD-TIME-VALUE A B)
+    (MULTIPLE-VALUE-CALL 'F A B A)
+    (SETQ A B
+          B A)
+    (PROGN A B)
+    (MULTIPLE-VALUE-PROG1 A B A)
+    (UNWIND-PROTECT A (THE INTEGER B) C))
+  (2 4))
+ ((2 2 7) (2 6) (2 5) (3 4) (2 4) (3 3) (2 2) (0 1 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 0) (B 1))
+    (LOAD-TIME-VALUE A B)
+    (MULTIPLE-VALUE-CALL 'F A B A)
+    (SETQ A B
+          B A)
+    (PROGN A B)
+    (MULTIPLE-VALUE-PROG1 A B A)
+    (UNWIND-PROTECT A (THE INTEGER B) C))
+  (3 4))
+ ((2 2 7) (2 6) (2 5) (3 4) (2 4) (3 3) (2 2) (0 1 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 0) (B 1))
+    (LOAD-TIME-VALUE A B)
+    (MULTIPLE-VALUE-CALL 'F A B A)
+    (SETQ A B
+          B A)
+    (PROGN A B)
+    (MULTIPLE-VALUE-PROG1 A B A)
+    (UNWIND-PROTECT A (THE INTEGER B) C))
+  (4 4))
+ ((1 7) (3 6) (1 6) (1 5) (4 4) (1 4) (4 3) (2 3) (1 2) (0 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 0) (B 1))
+    (LOAD-TIME-VALUE A B)
+    (MULTIPLE-VALUE-CALL 'F A B A)
+    (SETQ A B
+          B A)
+    (PROGN A B)
+    (MULTIPLE-VALUE-PROG1 A B A)
+    (UNWIND-PROTECT A (THE INTEGER B) C))
+  (1 5))
+ ((1 7) (3 6) (1 6) (1 5) (4 4) (1 4) (4 3) (2 3) (1 2) (0 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 0) (B 1))
+    (LOAD-TIME-VALUE A B)
+    (MULTIPLE-VALUE-CALL 'F A B A)
+    (SETQ A B
+          B A)
+    (PROGN A B)
+    (MULTIPLE-VALUE-PROG1 A B A)
+    (UNWIND-PROTECT A (THE INTEGER B) C))
+  (2 5))
+ ((2 2 7) (2 6) (2 5) (3 4) (2 4) (3 3) (2 2) (0 1 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 0) (B 1))
+    (LOAD-TIME-VALUE A B)
+    (MULTIPLE-VALUE-CALL 'F A B A)
+    (SETQ A B
+          B A)
+    (PROGN A B)
+    (MULTIPLE-VALUE-PROG1 A B A)
+    (UNWIND-PROTECT A (THE INTEGER B) C))
+  (1 6))
+ ((1 7) (3 6) (1 6) (1 5) (4 4) (1 4) (4 3) (2 3) (1 2) (0 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 0) (B 1))
+    (LOAD-TIME-VALUE A B)
+    (MULTIPLE-VALUE-CALL 'F A B A)
+    (SETQ A B
+          B A)
+    (PROGN A B)
+    (MULTIPLE-VALUE-PROG1 A B A)
+    (UNWIND-PROTECT A (THE INTEGER B) C))
+  (2 6))
+ ((2 2 7) (2 6) (2 5) (3 4) (2 4) (3 3) (2 2) (0 1 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 0) (B 1))
+    (LOAD-TIME-VALUE A B)
+    (MULTIPLE-VALUE-CALL 'F A B A)
+    (SETQ A B
+          B A)
+    (PROGN A B)
+    (MULTIPLE-VALUE-PROG1 A B A)
+    (UNWIND-PROTECT A (THE INTEGER B) C))
+  (3 6))
+ ((1 7) (3 6) (1 6) (1 5) (4 4) (1 4) (4 3) (2 3) (1 2) (0 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 0) (B 1))
+    (LOAD-TIME-VALUE A B)
+    (MULTIPLE-VALUE-CALL 'F A B A)
+    (SETQ A B
+          B A)
+    (PROGN A B)
+    (MULTIPLE-VALUE-PROG1 A B A)
+    (UNWIND-PROTECT A (THE INTEGER B) C))
+  (1 7))
+ ((1 7) (3 6) (1 6) (1 5) (4 4) (1 4) (4 3) (2 3) (1 2) (0 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 0) (B 1))
+    (LOAD-TIME-VALUE A B)
+    (MULTIPLE-VALUE-CALL 'F A B A)
+    (SETQ A B
+          B A)
+    (PROGN A B)
+    (MULTIPLE-VALUE-PROG1 A B A)
+    (UNWIND-PROTECT A (THE INTEGER B) C))
+  (2 2 7))
+ ((2 2 7) (2 6) (2 5) (3 4) (2 4) (3 3) (2 2) (0 1 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 0) (B 1))
+    (LOAD-TIME-VALUE A B)
+    (MULTIPLE-VALUE-CALL 'F A B A)
+    (SETQ A B
+          B A)
+    (PROGN A B)
+    (MULTIPLE-VALUE-PROG1 A B A)
+    (UNWIND-PROTECT A (THE INTEGER B) C))
+  (3 7))
+ ((3 7)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (0 1))
+ ((2) (1 5 1) (0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (1 1))
+ ((1 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (2 1))
+ ((2 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (3 1))
+ ((3 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (0 5 1))
+ ((3) (0 5 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (1 5 1))
+ ((2) (1 5 1) (0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (6 1))
+ ((4) (6 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (0 8 1))
+ ((5) (0 8 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (2))
+ ((2) (1 5 1) (0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (3))
+ ((3) (0 5 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (4))
+ ((4) (6 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (5))
+ ((5) (0 8 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS #'(LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO)
+                                        (0 1 1))
+ ((2 1) (1 5 1 1) (0 1 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS #'(LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO)
+                                        (1 1 1))
+ ((1 1 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS #'(LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO)
+                                        (2 1 1))
+ ((2 1 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS #'(LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO)
+                                        (3 1 1))
+ ((3 1 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS #'(LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO)
+                                        (0 5 1 1))
+ ((3 1) (0 5 1 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS #'(LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO)
+                                        (1 5 1 1))
+ ((2 1) (1 5 1 1) (0 1 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS #'(LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO)
+                                        (6 1 1))
+ ((4 1) (6 1 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS #'(LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO)
+                                        (0 8 1 1))
+ ((5 1) (0 8 1 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS #'(LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (2 1))
+ ((2 1) (1 5 1 1) (0 1 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS #'(LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (3 1))
+ ((3 1) (0 5 1 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS #'(LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (4 1))
+ ((4 1) (6 1 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS #'(LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (5 1))
+ ((5 1) (0 8 1 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (FLET ((F ()
+           ))
+    (FLET ((F (&OPTIONAL (X 1))
+             X
+             #'F
+             (F X)))
+      (F X)
+      #'F))
+  (0 0 1))
+ ((0 4 0 1 2) (3 0 1 2) (0 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (FLET ((F ()
+           ))
+    (FLET ((F (&OPTIONAL (X 1))
+             X
+             #'F
+             (F X)))
+      (F X)
+      #'F))
+  (1 1 2))
+ NIL)
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (FLET ((F ()
+           ))
+    (FLET ((F (&OPTIONAL (X 1))
+             X
+             #'F
+             (F X)))
+      (F X)
+      #'F))
+  (0 0 1 2))
+ ((3 2) (0 2 2) (0 0 1 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (FLET ((F ()
+           ))
+    (FLET ((F (&OPTIONAL (X 1))
+             X
+             #'F
+             (F X)))
+      (F X)
+      #'F))
+  (0 1 1 0 1 2))
+ ((1 4 0 1 2) (2 0 1 2) (0 1 1 0 1 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (FLET ((F ()
+           ))
+    (FLET ((F (&OPTIONAL (X 1))
+             X
+             #'F
+             (F X)))
+      (F X)
+      #'F))
+  (2 0 1 2))
+ ((1 4 0 1 2) (2 0 1 2) (0 1 1 0 1 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (FLET ((F ()
+           ))
+    (FLET ((F (&OPTIONAL (X 1))
+             X
+             #'F
+             (F X)))
+      (F X)
+      #'F))
+  (4 0 1 2))
+ NIL)
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (FLET ((F ()
+           ))
+    (FLET ((F (&OPTIONAL (X 1))
+             X
+             #'F
+             (F X)))
+      (F X)
+      #'F))
+  (3 0 1 2))
+ ((0 4 0 1 2) (3 0 1 2) (0 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (FLET ((F ()
+           ))
+    (FLET ((F (&OPTIONAL (X 1))
+             X
+             #'F
+             (F X)))
+      (F X)
+      #'F))
+  (0 4 0 1 2))
+ ((0 4 0 1 2) (3 0 1 2) (0 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (FLET ((F ()
+           ))
+    (FLET ((F (&OPTIONAL (X 1))
+             X
+             #'F
+             (F X)))
+      (F X)
+      #'F))
+  (1 4 0 1 2))
+ ((1 4 0 1 2) (2 0 1 2) (0 1 1 0 1 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (FLET ((F ()
+           ))
+    (FLET ((F (&OPTIONAL (X 1))
+             X
+             #'F
+             (F X)))
+      (F X)
+      #'F))
+  (0 2 2))
+ ((3 2) (0 2 2) (0 0 1 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (FLET ((F ()
+           ))
+    (FLET ((F (&OPTIONAL (X 1))
+             X
+             #'F
+             (F X)))
+      (F X)
+      #'F))
+  (1 2 2))
+ ((1 2 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (FLET ((F ()
+           ))
+    (FLET ((F (&OPTIONAL (X 1))
+             X
+             #'F
+             (F X)))
+      (F X)
+      #'F))
+  (1 2 2))
+ ((1 2 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (FLET ((F ()
+           ))
+    (FLET ((F (&OPTIONAL (X 1))
+             X
+             #'F
+             (F X)))
+      (F X)
+      #'F))
+  (3 2))
+ ((3 2) (0 2 2) (0 0 1 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LABELS ((F ()
+             (F)))
+    (LABELS ((F (&OPTIONAL (X 1))
+               X
+               (F X)))
+      #'F))
+  (0 0 1))
+ ((0 2 0 1) (0 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LABELS ((F ()
+             (F)))
+    (LABELS ((F (&OPTIONAL (X 1))
+               X
+               (F X)))
+      #'F))
+  (0 2 0 1))
+ ((0 2 0 1) (0 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LABELS ((F ()
+             (F)))
+    (LABELS ((F (&OPTIONAL (X 1))
+               X
+               (F X)))
+      #'F))
+  (0 0 1 2))
+ ((2 2) (0 3 0 1 2) (0 0 1 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LABELS ((F ()
+             (F)))
+    (LABELS ((F (&OPTIONAL (X 1))
+               X
+               (F X)))
+      #'F))
+  (0 1 1 0 1 2))
+ ((1 3 0 1 2) (2 0 1 2) (0 1 1 0 1 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LABELS ((F ()
+             (F)))
+    (LABELS ((F (&OPTIONAL (X 1))
+               X
+               (F X)))
+      #'F))
+  (2 0 1 2))
+ ((1 3 0 1 2) (2 0 1 2) (0 1 1 0 1 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LABELS ((F ()
+             (F)))
+    (LABELS ((F (&OPTIONAL (X 1))
+               X
+               (F X)))
+      #'F))
+  (0 3 0 1 2))
+ ((2 2) (0 3 0 1 2) (0 0 1 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LABELS ((F ()
+             (F)))
+    (LABELS ((F (&OPTIONAL (X 1))
+               X
+               (F X)))
+      #'F))
+  (1 3 0 1 2))
+ ((1 3 0 1 2) (2 0 1 2) (0 1 1 0 1 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LABELS ((F ()
+             (F)))
+    (LABELS ((F (&OPTIONAL (X 1))
+               X
+               (F X)))
+      #'F))
+  (2 2))
+ ((2 2) (0 3 0 1 2) (0 0 1 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LABELS ((F (X &KEY (Y X))
+             (G X))
+           (G (Y)
+             (F Y)))
+    (G 10))
+  (0 0 1))
+ ((0 2 1 1) (0 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LABELS ((F (X &KEY (Y X))
+             (G X))
+           (G (Y)
+             (F Y)))
+    (G 10))
+  (0 1 0 1))
+ ((1 2 0 1) (1 2 1 0 1) (0 1 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LABELS ((F (X &KEY (Y X))
+             (G X))
+           (G (Y)
+             (F Y)))
+    (G 10))
+  (0 2 1 0 1))
+ ((0 2 1 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LABELS ((F (X &KEY (Y X))
+             (G X))
+           (G (Y)
+             (F Y)))
+    (G 10))
+  (1 2 1 0 1))
+ ((1 2 0 1) (1 2 1 0 1) (0 1 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LABELS ((F (X &KEY (Y X))
+             (G X))
+           (G (Y)
+             (F Y)))
+    (G 10))
+  (0 2 0 1))
+ ((0 2) (0 1 1) (0 2 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LABELS ((F (X &KEY (Y X))
+             (G X))
+           (G (Y)
+             (F Y)))
+    (G 10))
+  (1 2 0 1))
+ ((1 2 0 1) (1 2 1 0 1) (0 1 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LABELS ((F (X &KEY (Y X))
+             (G X))
+           (G (Y)
+             (F Y)))
+    (G 10))
+  (0 1 1))
+ ((0 2) (0 1 1) (0 2 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LABELS ((F (X &KEY (Y X))
+             (G X))
+           (G (Y)
+             (F Y)))
+    (G 10))
+  (0 1 1 1))
+ ((1 2 1 1) (0 1 1 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LABELS ((F (X &KEY (Y X))
+             (G X))
+           (G (Y)
+             (F Y)))
+    (G 10))
+  (0 2 1 1))
+ ((0 2 1 1) (0 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LABELS ((F (X &KEY (Y X))
+             (G X))
+           (G (Y)
+             (F Y)))
+    (G 10))
+  (1 2 1 1))
+ ((1 2 1 1) (0 1 1 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LABELS ((F (X &KEY (Y X))
+             (G X))
+           (G (Y)
+             (F Y)))
+    (G 10))
+  (0 2))
+ ((0 2) (0 1 1) (0 2 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 0))
+    (DO ((X 1 (1+ X)))
+        ((= 10 X))
+      A
+      (LET ((A 1))
+        A)
+      B
+      C))
+  (0 0 1))
+ ((3 2) (0 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 0))
+    (DO ((X 1 (1+ X)))
+        ((= 10 X))
+      A
+      (LET ((A 1))
+        A)
+      B
+      C))
+  (0 0 1 2))
+ NIL)
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 0))
+    (DO ((X 1 (1+ X)))
+        ((= 10 X))
+      A
+      (LET ((A 1))
+        A)
+      B
+      C))
+  (3 2))
+ ((3 2) (0 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 0))
+    (DO ((X 1 (1+ X)))
+        ((= 10 X))
+      A
+      (LET ((A 1))
+        A)
+      B
+      C))
+  (0 1 4 2))
+ NIL)
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 0))
+    (DO ((X 1 (1+ X)))
+        ((= 10 X))
+      A
+      (LET ((A 1))
+        A)
+      B
+      C))
+  (0 0 1 4 2))
+ ((2 4 2) (0 0 1 4 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 0))
+    (DO ((X 1 (1+ X)))
+        ((= 10 X))
+      A
+      (LET ((A 1))
+        A)
+      B
+      C))
+  (2 4 2))
+ ((2 4 2) (0 0 1 4 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 0))
+    (DO ((X 1 (1+ X)))
+        ((= 10 X))
+      A
+      (LET ((A 1))
+        A)
+      B
+      C))
+  (5 2))
+ ((5 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 0))
+    (DO ((X 1 (1+ X)))
+        ((= 10 X))
+      A
+      (LET ((A 1))
+        A)
+      B
+      C))
+  (6 2))
+ ((6 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 0))
+    (WITH-HOGE NIL A B C))
+  (0 0 1))
+ ((2 2) (0 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (EVAL-WHEN (:COMPILE-TOPLEVEL :LOAD-TOPLEVEL :EXECUTE)
+    (LET ((A 0))
+      A))
+  (0 0 1 2))
+ ((2 2) (0 0 1 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (EVAL-WHEN (:COMPILE-TOPLEVEL :LOAD-TOPLEVEL :EXECUTE)
+    (LET ((A 0))
+      A))
+  (2 2))
+ ((2 2) (0 0 1 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (BLOCK FOO
+    (RETURN-FROM FOO 10)
+    (BLOCK FOO (RETURN-FROM FOO 20) (RETURN-FROM FOO 30))
+    (RETURN-FROM FOO 40))
+  (1))
+ ((1 4) (1 2) (1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (EVAL-WHEN (:COMPILE-TOPLEVEL :LOAD-TOPLEVEL :EXECUTE)
+    (LET ((A 0))
+      A))
+  (2 2))
+ ((2 2) (0 0 1 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (EVAL-WHEN (:COMPILE-TOPLEVEL :LOAD-TOPLEVEL :EXECUTE)
+    (LET ((A 0))
+      A))
+  (0 0 1 2))
+ ((2 2) (0 0 1 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 0))
+    (WITH-HOGE NIL A B C))
+  (0 0 1))
+ ((2 2) (0 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 0))
+    (DO ((X 1 (1+ X)))
+        ((= 10 X))
+      A
+      (LET ((A 1))
+        A)
+      B
+      C))
+  (6 2))
+ ((6 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 0))
+    (DO ((X 1 (1+ X)))
+        ((= 10 X))
+      A
+      (LET ((A 1))
+        A)
+      B
+      C))
+  (5 2))
+ ((5 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 0))
+    (DO ((X 1 (1+ X)))
+        ((= 10 X))
+      A
+      (LET ((A 1))
+        A)
+      B
+      C))
+  (2 4 2))
+ ((2 4 2) (0 0 1 4 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 0))
+    (DO ((X 1 (1+ X)))
+        ((= 10 X))
+      A
+      (LET ((A 1))
+        A)
+      B
+      C))
+  (0 0 1 4 2))
+ ((2 4 2) (0 0 1 4 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 0))
+    (DO ((X 1 (1+ X)))
+        ((= 10 X))
+      A
+      (LET ((A 1))
+        A)
+      B
+      C))
+  (0 1 4 2))
+ NIL)
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 0))
+    (DO ((X 1 (1+ X)))
+        ((= 10 X))
+      A
+      (LET ((A 1))
+        A)
+      B
+      C))
+  (3 2))
+ ((3 2) (0 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 0))
+    (DO ((X 1 (1+ X)))
+        ((= 10 X))
+      A
+      (LET ((A 1))
+        A)
+      B
+      C))
+  (0 0 1 2))
+ NIL)
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 0))
+    (DO ((X 1 (1+ X)))
+        ((= 10 X))
+      A
+      (LET ((A 1))
+        A)
+      B
+      C))
+  (0 0 1))
+ ((3 2) (0 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LABELS ((F (X &KEY (Y X))
+             (G X))
+           (G (Y)
+             (F Y)))
+    (G 10))
+  (0 2))
+ ((0 2) (0 1 1) (0 2 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LABELS ((F (X &KEY (Y X))
+             (G X))
+           (G (Y)
+             (F Y)))
+    (G 10))
+  (1 2 1 1))
+ ((1 2 1 1) (0 1 1 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LABELS ((F (X &KEY (Y X))
+             (G X))
+           (G (Y)
+             (F Y)))
+    (G 10))
+  (0 2 1 1))
+ ((0 2 1 1) (0 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LABELS ((F (X &KEY (Y X))
+             (G X))
+           (G (Y)
+             (F Y)))
+    (G 10))
+  (0 1 1 1))
+ ((1 2 1 1) (0 1 1 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LABELS ((F (X &KEY (Y X))
+             (G X))
+           (G (Y)
+             (F Y)))
+    (G 10))
+  (0 1 1))
+ ((0 2) (0 1 1) (0 2 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LABELS ((F (X &KEY (Y X))
+             (G X))
+           (G (Y)
+             (F Y)))
+    (G 10))
+  (1 2 0 1))
+ ((1 2 0 1) (1 2 1 0 1) (0 1 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LABELS ((F (X &KEY (Y X))
+             (G X))
+           (G (Y)
+             (F Y)))
+    (G 10))
+  (0 2 0 1))
+ ((0 2) (0 1 1) (0 2 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LABELS ((F (X &KEY (Y X))
+             (G X))
+           (G (Y)
+             (F Y)))
+    (G 10))
+  (1 2 1 0 1))
+ ((1 2 0 1) (1 2 1 0 1) (0 1 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LABELS ((F (X &KEY (Y X))
+             (G X))
+           (G (Y)
+             (F Y)))
+    (G 10))
+  (0 2 1 0 1))
+ ((0 2 1 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LABELS ((F (X &KEY (Y X))
+             (G X))
+           (G (Y)
+             (F Y)))
+    (G 10))
+  (0 1 0 1))
+ ((1 2 0 1) (1 2 1 0 1) (0 1 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LABELS ((F (X &KEY (Y X))
+             (G X))
+           (G (Y)
+             (F Y)))
+    (G 10))
+  (0 0 1))
+ ((0 2 1 1) (0 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LABELS ((F ()
+             (F)))
+    (LABELS ((F (&OPTIONAL (X 1))
+               X
+               (F X)))
+      #'F))
+  (2 2))
+ ((2 2) (0 3 0 1 2) (0 0 1 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LABELS ((F ()
+             (F)))
+    (LABELS ((F (&OPTIONAL (X 1))
+               X
+               (F X)))
+      #'F))
+  (1 3 0 1 2))
+ ((1 3 0 1 2) (2 0 1 2) (0 1 1 0 1 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LABELS ((F ()
+             (F)))
+    (LABELS ((F (&OPTIONAL (X 1))
+               X
+               (F X)))
+      #'F))
+  (0 3 0 1 2))
+ ((2 2) (0 3 0 1 2) (0 0 1 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LABELS ((F ()
+             (F)))
+    (LABELS ((F (&OPTIONAL (X 1))
+               X
+               (F X)))
+      #'F))
+  (2 0 1 2))
+ ((1 3 0 1 2) (2 0 1 2) (0 1 1 0 1 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LABELS ((F ()
+             (F)))
+    (LABELS ((F (&OPTIONAL (X 1))
+               X
+               (F X)))
+      #'F))
+  (0 1 1 0 1 2))
+ ((1 3 0 1 2) (2 0 1 2) (0 1 1 0 1 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LABELS ((F ()
+             (F)))
+    (LABELS ((F (&OPTIONAL (X 1))
+               X
+               (F X)))
+      #'F))
+  (0 0 1 2))
+ ((2 2) (0 3 0 1 2) (0 0 1 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LABELS ((F ()
+             (F)))
+    (LABELS ((F (&OPTIONAL (X 1))
+               X
+               (F X)))
+      #'F))
+  (0 2 0 1))
+ ((0 2 0 1) (0 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LABELS ((F ()
+             (F)))
+    (LABELS ((F (&OPTIONAL (X 1))
+               X
+               (F X)))
+      #'F))
+  (0 0 1))
+ ((0 2 0 1) (0 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (FLET ((F ()
+           ))
+    (FLET ((F (&OPTIONAL (X 1))
+             X
+             #'F
+             (F X)))
+      (F X)
+      #'F))
+  (3 2))
+ ((3 2) (0 2 2) (0 0 1 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (FLET ((F ()
+           ))
+    (FLET ((F (&OPTIONAL (X 1))
+             X
+             #'F
+             (F X)))
+      (F X)
+      #'F))
+  (1 2 2))
+ ((1 2 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (FLET ((F ()
+           ))
+    (FLET ((F (&OPTIONAL (X 1))
+             X
+             #'F
+             (F X)))
+      (F X)
+      #'F))
+  (1 2 2))
+ ((1 2 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (FLET ((F ()
+           ))
+    (FLET ((F (&OPTIONAL (X 1))
+             X
+             #'F
+             (F X)))
+      (F X)
+      #'F))
+  (0 2 2))
+ ((3 2) (0 2 2) (0 0 1 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (FLET ((F ()
+           ))
+    (FLET ((F (&OPTIONAL (X 1))
+             X
+             #'F
+             (F X)))
+      (F X)
+      #'F))
+  (1 4 0 1 2))
+ ((1 4 0 1 2) (2 0 1 2) (0 1 1 0 1 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (FLET ((F ()
+           ))
+    (FLET ((F (&OPTIONAL (X 1))
+             X
+             #'F
+             (F X)))
+      (F X)
+      #'F))
+  (0 4 0 1 2))
+ ((0 4 0 1 2) (3 0 1 2) (0 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (FLET ((F ()
+           ))
+    (FLET ((F (&OPTIONAL (X 1))
+             X
+             #'F
+             (F X)))
+      (F X)
+      #'F))
+  (3 0 1 2))
+ ((0 4 0 1 2) (3 0 1 2) (0 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (FLET ((F ()
+           ))
+    (FLET ((F (&OPTIONAL (X 1))
+             X
+             #'F
+             (F X)))
+      (F X)
+      #'F))
+  (4 0 1 2))
+ NIL)
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (FLET ((F ()
+           ))
+    (FLET ((F (&OPTIONAL (X 1))
+             X
+             #'F
+             (F X)))
+      (F X)
+      #'F))
+  (2 0 1 2))
+ ((1 4 0 1 2) (2 0 1 2) (0 1 1 0 1 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (FLET ((F ()
+           ))
+    (FLET ((F (&OPTIONAL (X 1))
+             X
+             #'F
+             (F X)))
+      (F X)
+      #'F))
+  (0 1 1 0 1 2))
+ ((1 4 0 1 2) (2 0 1 2) (0 1 1 0 1 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (FLET ((F ()
+           ))
+    (FLET ((F (&OPTIONAL (X 1))
+             X
+             #'F
+             (F X)))
+      (F X)
+      #'F))
+  (0 0 1 2))
+ ((3 2) (0 2 2) (0 0 1 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (FLET ((F ()
+           ))
+    (FLET ((F (&OPTIONAL (X 1))
+             X
+             #'F
+             (F X)))
+      (F X)
+      #'F))
+  (1 1 2))
+ NIL)
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (FLET ((F ()
+           ))
+    (FLET ((F (&OPTIONAL (X 1))
+             X
+             #'F
+             (F X)))
+      (F X)
+      #'F))
+  (0 0 1))
+ ((0 4 0 1 2) (3 0 1 2) (0 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS #'(LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (5 1))
+ ((5 1) (0 8 1 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS #'(LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (4 1))
+ ((4 1) (6 1 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS #'(LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (3 1))
+ ((3 1) (0 5 1 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS #'(LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (2 1))
+ ((2 1) (1 5 1 1) (0 1 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS #'(LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO)
+                                        (0 8 1 1))
+ ((5 1) (0 8 1 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS #'(LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO)
+                                        (6 1 1))
+ ((4 1) (6 1 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS #'(LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO)
+                                        (1 5 1 1))
+ ((2 1) (1 5 1 1) (0 1 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS #'(LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO)
+                                        (0 5 1 1))
+ ((3 1) (0 5 1 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS #'(LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO)
+                                        (3 1 1))
+ ((3 1 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS #'(LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO)
+                                        (2 1 1))
+ ((2 1 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS #'(LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO)
+                                        (1 1 1))
+ ((1 1 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS #'(LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO)
+                                        (0 1 1))
+ ((2 1) (1 5 1 1) (0 1 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (5))
+ ((5) (0 8 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (4))
+ ((4) (6 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (3))
+ ((3) (0 5 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (2))
+ ((2) (1 5 1) (0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (0 8 1))
+ ((5) (0 8 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (6 1))
+ ((4) (6 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (1 5 1))
+ ((2) (1 5 1) (0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (0 5 1))
+ ((3) (0 5 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (3 1))
+ ((3 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (2 1))
+ ((2 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (1 1))
+ ((1 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (0 1))
+ ((2) (1 5 1) (0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 0) (B 1))
+    (LOAD-TIME-VALUE A B)
+    (MULTIPLE-VALUE-CALL 'F A B A)
+    (SETQ A B
+          B A)
+    (PROGN A B)
+    (MULTIPLE-VALUE-PROG1 A B A)
+    (UNWIND-PROTECT A (THE INTEGER B) C))
+  (3 7))
+ ((3 7)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 0) (B 1))
+    (LOAD-TIME-VALUE A B)
+    (MULTIPLE-VALUE-CALL 'F A B A)
+    (SETQ A B
+          B A)
+    (PROGN A B)
+    (MULTIPLE-VALUE-PROG1 A B A)
+    (UNWIND-PROTECT A (THE INTEGER B) C))
+  (2 2 7))
+ ((2 2 7) (2 6) (2 5) (3 4) (2 4) (3 3) (2 2) (0 1 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 0) (B 1))
+    (LOAD-TIME-VALUE A B)
+    (MULTIPLE-VALUE-CALL 'F A B A)
+    (SETQ A B
+          B A)
+    (PROGN A B)
+    (MULTIPLE-VALUE-PROG1 A B A)
+    (UNWIND-PROTECT A (THE INTEGER B) C))
+  (1 7))
+ ((1 7) (3 6) (1 6) (1 5) (4 4) (1 4) (4 3) (2 3) (1 2) (0 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 0) (B 1))
+    (LOAD-TIME-VALUE A B)
+    (MULTIPLE-VALUE-CALL 'F A B A)
+    (SETQ A B
+          B A)
+    (PROGN A B)
+    (MULTIPLE-VALUE-PROG1 A B A)
+    (UNWIND-PROTECT A (THE INTEGER B) C))
+  (3 6))
+ ((1 7) (3 6) (1 6) (1 5) (4 4) (1 4) (4 3) (2 3) (1 2) (0 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 0) (B 1))
+    (LOAD-TIME-VALUE A B)
+    (MULTIPLE-VALUE-CALL 'F A B A)
+    (SETQ A B
+          B A)
+    (PROGN A B)
+    (MULTIPLE-VALUE-PROG1 A B A)
+    (UNWIND-PROTECT A (THE INTEGER B) C))
+  (2 6))
+ ((2 2 7) (2 6) (2 5) (3 4) (2 4) (3 3) (2 2) (0 1 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 0) (B 1))
+    (LOAD-TIME-VALUE A B)
+    (MULTIPLE-VALUE-CALL 'F A B A)
+    (SETQ A B
+          B A)
+    (PROGN A B)
+    (MULTIPLE-VALUE-PROG1 A B A)
+    (UNWIND-PROTECT A (THE INTEGER B) C))
+  (1 6))
+ ((1 7) (3 6) (1 6) (1 5) (4 4) (1 4) (4 3) (2 3) (1 2) (0 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 0) (B 1))
+    (LOAD-TIME-VALUE A B)
+    (MULTIPLE-VALUE-CALL 'F A B A)
+    (SETQ A B
+          B A)
+    (PROGN A B)
+    (MULTIPLE-VALUE-PROG1 A B A)
+    (UNWIND-PROTECT A (THE INTEGER B) C))
+  (2 5))
+ ((2 2 7) (2 6) (2 5) (3 4) (2 4) (3 3) (2 2) (0 1 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 0) (B 1))
+    (LOAD-TIME-VALUE A B)
+    (MULTIPLE-VALUE-CALL 'F A B A)
+    (SETQ A B
+          B A)
+    (PROGN A B)
+    (MULTIPLE-VALUE-PROG1 A B A)
+    (UNWIND-PROTECT A (THE INTEGER B) C))
+  (1 5))
+ ((1 7) (3 6) (1 6) (1 5) (4 4) (1 4) (4 3) (2 3) (1 2) (0 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 0) (B 1))
+    (LOAD-TIME-VALUE A B)
+    (MULTIPLE-VALUE-CALL 'F A B A)
+    (SETQ A B
+          B A)
+    (PROGN A B)
+    (MULTIPLE-VALUE-PROG1 A B A)
+    (UNWIND-PROTECT A (THE INTEGER B) C))
+  (4 4))
+ ((1 7) (3 6) (1 6) (1 5) (4 4) (1 4) (4 3) (2 3) (1 2) (0 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 0) (B 1))
+    (LOAD-TIME-VALUE A B)
+    (MULTIPLE-VALUE-CALL 'F A B A)
+    (SETQ A B
+          B A)
+    (PROGN A B)
+    (MULTIPLE-VALUE-PROG1 A B A)
+    (UNWIND-PROTECT A (THE INTEGER B) C))
+  (3 4))
+ ((2 2 7) (2 6) (2 5) (3 4) (2 4) (3 3) (2 2) (0 1 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 0) (B 1))
+    (LOAD-TIME-VALUE A B)
+    (MULTIPLE-VALUE-CALL 'F A B A)
+    (SETQ A B
+          B A)
+    (PROGN A B)
+    (MULTIPLE-VALUE-PROG1 A B A)
+    (UNWIND-PROTECT A (THE INTEGER B) C))
+  (2 4))
+ ((2 2 7) (2 6) (2 5) (3 4) (2 4) (3 3) (2 2) (0 1 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 0) (B 1))
+    (LOAD-TIME-VALUE A B)
+    (MULTIPLE-VALUE-CALL 'F A B A)
+    (SETQ A B
+          B A)
+    (PROGN A B)
+    (MULTIPLE-VALUE-PROG1 A B A)
+    (UNWIND-PROTECT A (THE INTEGER B) C))
+  (1 4))
+ ((1 7) (3 6) (1 6) (1 5) (4 4) (1 4) (4 3) (2 3) (1 2) (0 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 0) (B 1))
+    (LOAD-TIME-VALUE A B)
+    (MULTIPLE-VALUE-CALL 'F A B A)
+    (SETQ A B
+          B A)
+    (PROGN A B)
+    (MULTIPLE-VALUE-PROG1 A B A)
+    (UNWIND-PROTECT A (THE INTEGER B) C))
+  (4 3))
+ ((1 7) (3 6) (1 6) (1 5) (4 4) (1 4) (4 3) (2 3) (1 2) (0 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 0) (B 1))
+    (LOAD-TIME-VALUE A B)
+    (MULTIPLE-VALUE-CALL 'F A B A)
+    (SETQ A B
+          B A)
+    (PROGN A B)
+    (MULTIPLE-VALUE-PROG1 A B A)
+    (UNWIND-PROTECT A (THE INTEGER B) C))
+  (3 3))
+ ((2 2 7) (2 6) (2 5) (3 4) (2 4) (3 3) (2 2) (0 1 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 0) (B 1))
+    (LOAD-TIME-VALUE A B)
+    (MULTIPLE-VALUE-CALL 'F A B A)
+    (SETQ A B
+          B A)
+    (PROGN A B)
+    (MULTIPLE-VALUE-PROG1 A B A)
+    (UNWIND-PROTECT A (THE INTEGER B) C))
+  (2 3))
+ ((1 7) (3 6) (1 6) (1 5) (4 4) (1 4) (4 3) (2 3) (1 2) (0 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 0) (B 1))
+    (LOAD-TIME-VALUE A B)
+    (MULTIPLE-VALUE-CALL 'F A B A)
+    (SETQ A B
+          B A)
+    (PROGN A B)
+    (MULTIPLE-VALUE-PROG1 A B A)
+    (UNWIND-PROTECT A (THE INTEGER B) C))
+  (2 2))
+ ((2 2 7) (2 6) (2 5) (3 4) (2 4) (3 3) (2 2) (0 1 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 0) (B 1))
+    (LOAD-TIME-VALUE A B)
+    (MULTIPLE-VALUE-CALL 'F A B A)
+    (SETQ A B
+          B A)
+    (PROGN A B)
+    (MULTIPLE-VALUE-PROG1 A B A)
+    (UNWIND-PROTECT A (THE INTEGER B) C))
+  (2 2))
+ ((2 2 7) (2 6) (2 5) (3 4) (2 4) (3 3) (2 2) (0 1 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 0) (B 1))
+    (LOAD-TIME-VALUE A B)
+    (MULTIPLE-VALUE-CALL 'F A B A)
+    (SETQ A B
+          B A)
+    (PROGN A B)
+    (MULTIPLE-VALUE-PROG1 A B A)
+    (UNWIND-PROTECT A (THE INTEGER B) C))
+  (1 2))
+ ((1 7) (3 6) (1 6) (1 5) (4 4) (1 4) (4 3) (2 3) (1 2) (0 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 0) (B 1))
+    (LOAD-TIME-VALUE A B)
+    (MULTIPLE-VALUE-CALL 'F A B A)
+    (SETQ A B
+          B A)
+    (PROGN A B)
+    (MULTIPLE-VALUE-PROG1 A B A)
+    (UNWIND-PROTECT A (THE INTEGER B) C))
+  (0 1 1))
+ ((2 2 7) (2 6) (2 5) (3 4) (2 4) (3 3) (2 2) (0 1 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 0) (B 1))
+    (LOAD-TIME-VALUE A B)
+    (MULTIPLE-VALUE-CALL 'F A B A)
+    (SETQ A B
+          B A)
+    (PROGN A B)
+    (MULTIPLE-VALUE-PROG1 A B A)
+    (UNWIND-PROTECT A (THE INTEGER B) C))
+  (0 0 1))
+ ((1 7) (3 6) (1 6) (1 5) (4 4) (1 4) (4 3) (2 3) (1 2) (0 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 1))
+    (LET ((B A))
+      A
+      B))
+  (3 2))
+ ((3 2) (0 0 1 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 1))
+    (LET ((B A))
+      A
+      B))
+  (2 2))
+ ((2 2) (1 0 1 2) (0 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 1))
+    (LET ((B A))
+      A
+      B))
+  (1 0 1 2))
+ ((2 2) (1 0 1 2) (0 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 1))
+    (LET ((B A))
+      A
+      B))
+  (0 0 1 2))
+ ((3 2) (0 0 1 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((A 1))
+    (LET ((B A))
+      A
+      B))
+  (0 0 1))
+ ((2 2) (1 0 1 2) (0 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET* ((A 0) (B A))
+    (LET* ((A A) (B A))
+      A)
+    A)
+  (3))
+ ((3) (1 0 1 2) (1 1 1) (0 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET* ((A 0) (B A))
+    (LET* ((A A) (B A))
+      A)
+    A)
+  (2 2))
+ ((2 2) (1 1 1 2) (0 0 1 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET* ((A 0) (B A))
+    (LET* ((A A) (B A))
+      A)
+    A)
+  (1 1 1 2))
+ ((2 2) (1 1 1 2) (0 0 1 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET* ((A 0) (B A))
+    (LET* ((A A) (B A))
+      A)
+    A)
+  (0 1 1 2))
+ ((0 1 1 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET* ((A 0) (B A))
+    (LET* ((A A) (B A))
+      A)
+    A)
+  (1 0 1 2))
+ ((3) (1 0 1 2) (1 1 1) (0 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET* ((A 0) (B A))
+    (LET* ((A A) (B A))
+      A)
+    A)
+  (0 0 1 2))
+ ((2 2) (1 1 1 2) (0 0 1 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET* ((A 0) (B A))
+    (LET* ((A A) (B A))
+      A)
+    A)
+  (1 1 1))
+ ((3) (1 0 1 2) (1 1 1) (0 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET* ((A 0) (B A))
+    (LET* ((A A) (B A))
+      A)
+    A)
+  (0 1 1))
+ ((0 1 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET* ((A 0) (B A))
+    (LET* ((A A) (B A))
+      A)
+    A)
+  (0 0 1))
+ ((3) (1 0 1 2) (1 1 1) (0 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (BLOCK FOO
+    (RETURN-FROM FOO 10)
+    (BLOCK FOO (RETURN-FROM FOO 20) (RETURN-FROM FOO 30))
+    (RETURN-FROM FOO 40))
+  (1 4))
+ ((1 4) (1 2) (1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (BLOCK FOO
+    (RETURN-FROM FOO 10)
+    (BLOCK FOO (RETURN-FROM FOO 20) (RETURN-FROM FOO 30))
+    (RETURN-FROM FOO 40))
+  (1 3 3))
+ ((1 3 3) (1 2 3) (1 3)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (BLOCK FOO
+    (RETURN-FROM FOO 10)
+    (BLOCK FOO (RETURN-FROM FOO 20) (RETURN-FROM FOO 30))
+    (RETURN-FROM FOO 40))
+  (1 2 3))
+ ((1 3 3) (1 2 3) (1 3)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (BLOCK FOO
+    (RETURN-FROM FOO 10)
+    (BLOCK FOO (RETURN-FROM FOO 20) (RETURN-FROM FOO 30))
+    (RETURN-FROM FOO 40))
+  (1 3))
+ ((1 3 3) (1 2 3) (1 3)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (BLOCK FOO
+    (RETURN-FROM FOO 10)
+    (BLOCK FOO (RETURN-FROM FOO 20) (RETURN-FROM FOO 30))
+    (RETURN-FROM FOO 40))
+  (1 2))
+ ((1 4) (1 2) (1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (BLOCK FOO
+    (RETURN-FROM FOO 10)
+    (BLOCK FOO (RETURN-FROM FOO 20) (RETURN-FROM FOO 30))
+    (RETURN-FROM FOO 40))
+  (1))
+ ((1 4) (1 2) (1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS FOO NIL) NIL)
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS FOO NIL) NIL)
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS FOO NIL) NIL)
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (BLOCK FOO
+    (RETURN-FROM FOO 10)
+    (BLOCK FOO (RETURN-FROM FOO 20) (RETURN-FROM FOO 30))
+    (RETURN-FROM FOO 40))
+  (1))
+ ((1 4) (1 2) (1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (DEFUN F (X Y) X Y X Y) (6)) ((6) (4) (1 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (DEFUN F (X Y) X Y X Y) (5)) ((5) (3) (0 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (DEFUN F (X Y) X Y X Y) (4)) ((6) (4) (1 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (DEFUN F (X Y) X Y X Y) (3)) ((5) (3) (0 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (DEFUN F (X Y) X Y X Y) (1 2)) ((6) (4) (1 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (DEFUN F (X Y) X Y X Y) (0 2)) ((5) (3) (0 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (DEFMETHOD ADD (X Y) (+ X Y)) (2 3)) ((2 3) (1 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (DEFMETHOD ADD (X Y) (+ X Y)) (1 3)) ((1 3) (0 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (DEFMETHOD ADD (X Y) (+ X Y)) (1 2)) ((2 3) (1 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (DEFMETHOD ADD (X Y) (+ X Y)) (0 2)) ((1 3) (0 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (DEFMETHOD MICROS/WALKER::ADD (MICROS/WALKER::X MICROS/WALKER::Y) (+ MICROS/WALKER::X MICROS/WALKER::Y))
+  (2 3))
+ ((2 3) (1 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (DEFMETHOD MICROS/WALKER::ADD (MICROS/WALKER::X MICROS/WALKER::Y) (+ MICROS/WALKER::X MICROS/WALKER::Y))
+  (1 3))
+ ((1 3) (0 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (DEFMETHOD MICROS/WALKER::ADD (MICROS/WALKER::X MICROS/WALKER::Y) (+ MICROS/WALKER::X MICROS/WALKER::Y))
+  (1 2))
+ ((2 3) (1 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (DEFMETHOD MICROS/WALKER::ADD (MICROS/WALKER::X MICROS/WALKER::Y) (+ MICROS/WALKER::X MICROS/WALKER::Y))
+  (0 2))
+ ((1 3) (0 2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (DEFMETHOD ADD :BEFORE ((X INTEGER) (Y INTEGER)) (PRINT (LIST X Y)))
+                                        (2 1 4))
+ ((2 1 4) (0 1 3)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (DEFMETHOD ADD :BEFORE ((X INTEGER) (Y INTEGER)) (PRINT (LIST X Y)))
+                                        (1 1 4))
+ ((1 1 4) (0 0 3)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (DEFMETHOD ADD :BEFORE ((X INTEGER) (Y INTEGER)) (PRINT (LIST X Y)))
+                                        (0 1 3))
+ ((2 1 4) (0 1 3)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (DEFMETHOD ADD :BEFORE ((X INTEGER) (Y INTEGER)) (PRINT (LIST X Y)))
+                                        (0 0 3))
+ ((1 1 4) (0 0 3)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  ((LAMBDA (MICROS/WALKER::A MICROS/WALKER::B) (+ MICROS/WALKER::A MICROS/WALKER::B)) 1 2) (2 2 0))
+ ((2 2 0) (1 1 0)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  ((LAMBDA (MICROS/WALKER::A MICROS/WALKER::B) (+ MICROS/WALKER::A MICROS/WALKER::B)) 1 2) (1 2 0))
+ ((1 2 0) (0 1 0)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  ((LAMBDA (MICROS/WALKER::A MICROS/WALKER::B) (+ MICROS/WALKER::A MICROS/WALKER::B)) 1 2) (1 1 0))
+ ((2 2 0) (1 1 0)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  ((LAMBDA (MICROS/WALKER::A MICROS/WALKER::B) (+ MICROS/WALKER::A MICROS/WALKER::B)) 1 2)
+  (0 1 0))
+ ((1 2 0) (0 1 0)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((COMMON-LISP-USER::A 0))
+    COMMON-LISP-USER::A
+    ((LAMBDA (COMMON-LISP-USER::A) (DECLARE (SPECIAL COMMON-LISP-USER::A)) COMMON-LISP-USER::A))
+    ((LAMBDA (COMMON-LISP-USER::A) (DECLARE (SPECIAL COMMON-LISP-USER::A)) COMMON-LISP-USER::A))
+    COMMON-LISP-USER::A)
+  (3 0 3))
+ ((3 0 4) (0 1 0 4) (3 0 3) (0 1 0 3)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((X 0))
+    (LOOP (F X)))
+  (1 1 2))
+ ((1 1 2) (0 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LET ((X 0))
+    (LOOP (F X)))
+  (0 0 1))
+ ((1 1 2) (0 0 1)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LOOP :WITH X := 0
+        :WITH Y := X
+        :WITH Z := (F X Y))
+  (2 12))
+ ((6) (2 12)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LOOP :WITH X := 0
+        :WITH Y := X
+        :WITH Z := (F X Y))
+  (1 12))
+ ((2) (8) (1 12)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LOOP :WITH X := 0
+        :WITH Y := X
+        :WITH Z := (F X Y))
+  (8))
+ ((2) (8) (1 12)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LOOP :WITH X := 0
+        :WITH Y := X
+        :WITH Z := (F X Y))
+  (10))
+ ((10)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LOOP :WITH X := 0
+        :WITH Y := X
+        :WITH Z := (F X Y))
+  (6))
+ ((6) (2 12)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LOOP :WITH X := 0
+        :WITH Y := X
+        :WITH Z := (F X Y))
+  (2))
+ ((2) (8) (1 12)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LOOP :WITH X := 0
+        :DO (F X))
+  (1 6))
+ ((1 6) (2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LOOP :WITH X := 0
+        :DO (F X))
+  (2))
+ ((1 6) (2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (LOOP :WITH X := 0 :RETURN :IT :RETURN (F X)) (6))
+ NIL)
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (LOOP :WITH X := 0 :RETURN :IT :RETURN (F X)) (1 8))
+ ((1 8) (2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (LOOP :WITH X := 0 :RETURN :IT :RETURN (F X)) (2))
+ ((1 8) (2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LOOP :WITH ((X Y) . Z) := (F)
+        :WITH A := (+ X Y Z))
+  (3 8))
+ ((2 2) (3 8)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LOOP :WITH ((X Y) . Z) := (F)
+        :WITH A := (+ X Y Z))
+  (2 8))
+ ((1 0 2) (2 8)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LOOP :WITH ((X Y) . Z) := (F)
+        :WITH A := (+ X Y Z))
+  (1 8))
+ ((0 0 2) (1 8)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LOOP :WITH ((X Y) . Z) := (F)
+        :WITH A := (+ X Y Z))
+  (2 2))
+ ((2 2) (3 8)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LOOP :WITH ((X Y) . Z) := (F)
+        :WITH A := (+ X Y Z))
+  (1 0 2))
+ ((1 0 2) (2 8)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LOOP :WITH ((X Y) . Z) := (F)
+        :WITH A := (+ X Y Z))
+  (0 0 2))
+ ((0 0 2) (1 8)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LOOP :WITH (X . Y) := (F)
+        :WITH A := X
+        :WITH B := Y)
+  (12))
+ ((2 2) (12)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LOOP :WITH (X . Y) := (F)
+        :WITH A := X
+        :WITH B := Y)
+  (8))
+ ((0 2) (8)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LOOP :WITH (X . Y) := (F)
+        :WITH A := X
+        :WITH B := Y)
+  (2 2))
+ ((2 2) (12)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LOOP :WITH (X . Y) := (F)
+        :WITH A := X
+        :WITH B := Y)
+  (0 2))
+ ((0 2) (8)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LOOP :WITH FOO := NIL
+        :FOR X :IN '(1 2 3)
+        :DO (PRINT X))
+  (1 10))
+ ((1 10) (6)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LOOP :WITH FOO := NIL
+        :FOR X :IN '(1 2 3)
+        :DO (PRINT X))
+  (6))
+ ((1 10) (6)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LOOP :WITH FOO := NIL
+        :FOR X :IN '(1 2 3)
+        :DO (PRINT X))
+  (2))
+ ((2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LOOP :WITH FOO
+        :FOR X :IN '(1 2 3)
+        :DO (PRINT X))
+  (1 8))
+ ((1 8) (4)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LOOP :WITH FOO
+        :FOR X :IN '(1 2 3)
+        :DO (PRINT X))
+  (4))
+ ((1 8) (4)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LOOP :WITH FOO
+        :FOR X :IN '(1 2 3)
+        :DO (PRINT X))
+  (2))
+ ((2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LOOP :FOR X :IN '(1 2 3)
+        :DO (PRINT X))
+  (1 6))
+ ((1 6) (2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LOOP :FOR X :IN '(1 2 3)
+        :DO (PRINT X))
+  (2))
+ ((1 6) (2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LOOP :WITH FN := #'CDDR
+        :AND A
+        :FOR X :IN (LIST A) :BY FN
+        :DO (PRINT X))
+  (1 14))
+ ((1 14) (8)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LOOP :WITH FN := #'CDDR
+        :AND A
+        :FOR X :IN (LIST A) :BY FN
+        :DO (PRINT X))
+  (12))
+ ((12) (2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LOOP :WITH FN := #'CDDR
+        :AND A
+        :FOR X :IN (LIST A) :BY FN
+        :DO (PRINT X))
+  (1 10))
+ ((1 10) (6)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LOOP :WITH FN := #'CDDR
+        :AND A
+        :FOR X :IN (LIST A) :BY FN
+        :DO (PRINT X))
+  (8))
+ ((1 14) (8)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LOOP :WITH FN := #'CDDR
+        :AND A
+        :FOR X :IN (LIST A) :BY FN
+        :DO (PRINT X))
+  (6))
+ ((1 10) (6)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LOOP :WITH FN := #'CDDR
+        :AND A
+        :FOR X :IN (LIST A) :BY FN
+        :DO (PRINT X))
+  (2))
+ ((12) (2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LOOP :WITH FN := #'CDDR
+        :AND A
+        :FOR X :ON (LIST A) :BY FN
+        :DO (PRINT X))
+  (1 14))
+ ((1 14) (8)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LOOP :WITH FN := #'CDDR
+        :AND A
+        :FOR X :ON (LIST A) :BY FN
+        :DO (PRINT X))
+  (12))
+ ((12) (2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LOOP :WITH FN := #'CDDR
+        :AND A
+        :FOR X :ON (LIST A) :BY FN
+        :DO (PRINT X))
+  (1 10))
+ ((1 10) (6)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LOOP :WITH FN := #'CDDR
+        :AND A
+        :FOR X :ON (LIST A) :BY FN
+        :DO (PRINT X))
+  (8))
+ ((1 14) (8)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LOOP :WITH FN := #'CDDR
+        :AND A
+        :FOR X :ON (LIST A) :BY FN
+        :DO (PRINT X))
+  (2))
+ ((12) (2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LOOP :WITH FOO := NIL
+        :FOR X :ON '(1 2 3)
+        :DO (PRINT X))
+  (1 10))
+ ((1 10) (6)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LOOP :WITH FOO := NIL
+        :FOR X :ON '(1 2 3)
+        :DO (PRINT X))
+  (6))
+ ((1 10) (6)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LOOP :WITH FOO := NIL
+        :FOR X :ON '(1 2 3)
+        :DO (PRINT X))
+  (2))
+ ((2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LOOP :WITH FOO
+        :FOR X :ON '(1 2 3)
+        :DO (PRINT X))
+  (1 8))
+ ((1 8) (4)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LOOP :WITH FOO
+        :FOR X :ON '(1 2 3)
+        :DO (PRINT X))
+  (4))
+ ((1 8) (4)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LOOP :WITH FOO
+        :FOR X :ON '(1 2 3)
+        :DO (PRINT X))
+  (2))
+ ((2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LOOP :FOR X :ON '(1 2 3)
+        :DO (PRINT X))
+  (1 6))
+ ((1 6) (2)))
+((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
+  (LOOP :FOR X :ON '(1 2 3)
+        :DO (PRINT X))
+  (2))
+ ((1 6) (2)))
+((COLLECT-HIGHLIGHT-PATHS
+  (LOOP :FOR X := 1 :THEN (F X)
+        :DO (F X))
+  (1 8))
+ ((1 8) (1 6) (2)))
+((COLLECT-HIGHLIGHT-PATHS
+  (LOOP :FOR X := 1 :THEN (F X)
+        :DO (F X))
+  (1 6))
+ ((1 8) (1 6) (2)))
+((COLLECT-HIGHLIGHT-PATHS
+  (LOOP :FOR X := 1 :THEN (F X)
+        :DO (F X))
+  (2))
+ ((1 8) (1 6) (2)))
+((COLLECT-HIGHLIGHT-PATHS
+  (LOOP :FOR X := 1
+        :DO (F X))
+  (1 6))
+ ((1 6) (2)))
+((COLLECT-HIGHLIGHT-PATHS
+  (LOOP :FOR X := 1
+        :DO (F X))
+  (2))
+ ((1 6) (2)))
+((COLLECT-HIGHLIGHT-PATHS
+  (LOOP :FOR X :ACROSS '(1 2 3)
+        :DO (F X))
+  (1 6))
+ ((1 6) (2)))
+((COLLECT-HIGHLIGHT-PATHS
+  (LOOP :FOR X :ACROSS '(1 2 3)
+        :DO (F X))
+  (2))
+ ((1 6) (2)))
diff --git a/contrib/walker/tests/tests.lisp b/contrib/walker/tests/tests.lisp
index e1d6647..eb2e442 100644
--- a/contrib/walker/tests/tests.lisp
+++ b/contrib/walker/tests/tests.lisp
@@ -2,1860 +2,11 @@
   (:use #:cl #:rove))
 (in-package #:micros/walker/tests)
 
-(defvar *test-cases*
-  '(((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (BLOCK FOO
-        (RETURN-FROM FOO 10)
-        (BLOCK FOO (RETURN-FROM FOO 20) (RETURN-FROM FOO 30))
-        (RETURN-FROM FOO 40))
-      (1))
-     ((1 4) (1 2) (1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS FOO NIL) NIL)
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS FOO NIL) NIL)
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS FOO NIL) NIL)
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (BLOCK FOO
-        (RETURN-FROM FOO 10)
-        (BLOCK FOO (RETURN-FROM FOO 20) (RETURN-FROM FOO 30))
-        (RETURN-FROM FOO 40))
-      (1))
-     ((1 4) (1 2) (1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (BLOCK FOO
-        (RETURN-FROM FOO 10)
-        (BLOCK FOO (RETURN-FROM FOO 20) (RETURN-FROM FOO 30))
-        (RETURN-FROM FOO 40))
-      (1 2))
-     ((1 4) (1 2) (1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (BLOCK FOO
-        (RETURN-FROM FOO 10)
-        (BLOCK FOO (RETURN-FROM FOO 20) (RETURN-FROM FOO 30))
-        (RETURN-FROM FOO 40))
-      (1 3))
-     ((1 3 3) (1 2 3) (1 3)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (BLOCK FOO
-        (RETURN-FROM FOO 10)
-        (BLOCK FOO (RETURN-FROM FOO 20) (RETURN-FROM FOO 30))
-        (RETURN-FROM FOO 40))
-      (1 2 3))
-     ((1 3 3) (1 2 3) (1 3)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (BLOCK FOO
-        (RETURN-FROM FOO 10)
-        (BLOCK FOO (RETURN-FROM FOO 20) (RETURN-FROM FOO 30))
-        (RETURN-FROM FOO 40))
-      (1 3 3))
-     ((1 3 3) (1 2 3) (1 3)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (BLOCK FOO
-        (RETURN-FROM FOO 10)
-        (BLOCK FOO (RETURN-FROM FOO 20) (RETURN-FROM FOO 30))
-        (RETURN-FROM FOO 40))
-      (1 4))
-     ((1 4) (1 2) (1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET* ((A 0) (B A))
-        (LET* ((A A) (B A))
-          A)
-        A)
-      (0 0 1))
-     ((3) (1 0 1 2) (1 1 1) (0 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET* ((A 0) (B A))
-        (LET* ((A A) (B A))
-          A)
-        A)
-      (0 1 1))
-     ((0 1 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET* ((A 0) (B A))
-        (LET* ((A A) (B A))
-          A)
-        A)
-      (1 1 1))
-     ((3) (1 0 1 2) (1 1 1) (0 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET* ((A 0) (B A))
-        (LET* ((A A) (B A))
-          A)
-        A)
-      (0 0 1 2))
-     ((2 2) (1 1 1 2) (0 0 1 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET* ((A 0) (B A))
-        (LET* ((A A) (B A))
-          A)
-        A)
-      (1 0 1 2))
-     ((3) (1 0 1 2) (1 1 1) (0 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET* ((A 0) (B A))
-        (LET* ((A A) (B A))
-          A)
-        A)
-      (0 1 1 2))
-     ((0 1 1 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET* ((A 0) (B A))
-        (LET* ((A A) (B A))
-          A)
-        A)
-      (1 1 1 2))
-     ((2 2) (1 1 1 2) (0 0 1 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET* ((A 0) (B A))
-        (LET* ((A A) (B A))
-          A)
-        A)
-      (2 2))
-     ((2 2) (1 1 1 2) (0 0 1 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET* ((A 0) (B A))
-        (LET* ((A A) (B A))
-          A)
-        A)
-      (3))
-     ((3) (1 0 1 2) (1 1 1) (0 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 1))
-        (LET ((B A))
-          A
-          B))
-      (0 0 1))
-     ((2 2) (1 0 1 2) (0 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 1))
-        (LET ((B A))
-          A
-          B))
-      (0 0 1 2))
-     ((3 2) (0 0 1 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 1))
-        (LET ((B A))
-          A
-          B))
-      (1 0 1 2))
-     ((2 2) (1 0 1 2) (0 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 1))
-        (LET ((B A))
-          A
-          B))
-      (2 2))
-     ((2 2) (1 0 1 2) (0 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 1))
-        (LET ((B A))
-          A
-          B))
-      (3 2))
-     ((3 2) (0 0 1 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 0) (B 1))
-        (LOAD-TIME-VALUE A B)
-        (MULTIPLE-VALUE-CALL 'F A B A)
-        (SETQ A B
-              B A)
-        (PROGN A B)
-        (MULTIPLE-VALUE-PROG1 A B A)
-        (UNWIND-PROTECT A (THE INTEGER B) C))
-      (0 0 1))
-     ((1 7) (3 6) (1 6) (1 5) (4 4) (1 4) (4 3) (2 3) (1 2) (0 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 0) (B 1))
-        (LOAD-TIME-VALUE A B)
-        (MULTIPLE-VALUE-CALL 'F A B A)
-        (SETQ A B
-              B A)
-        (PROGN A B)
-        (MULTIPLE-VALUE-PROG1 A B A)
-        (UNWIND-PROTECT A (THE INTEGER B) C))
-      (0 1 1))
-     ((2 2 7) (2 6) (2 5) (3 4) (2 4) (3 3) (2 2) (0 1 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 0) (B 1))
-        (LOAD-TIME-VALUE A B)
-        (MULTIPLE-VALUE-CALL 'F A B A)
-        (SETQ A B
-              B A)
-        (PROGN A B)
-        (MULTIPLE-VALUE-PROG1 A B A)
-        (UNWIND-PROTECT A (THE INTEGER B) C))
-      (1 2))
-     ((1 7) (3 6) (1 6) (1 5) (4 4) (1 4) (4 3) (2 3) (1 2) (0 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 0) (B 1))
-        (LOAD-TIME-VALUE A B)
-        (MULTIPLE-VALUE-CALL 'F A B A)
-        (SETQ A B
-              B A)
-        (PROGN A B)
-        (MULTIPLE-VALUE-PROG1 A B A)
-        (UNWIND-PROTECT A (THE INTEGER B) C))
-      (2 2))
-     ((2 2 7) (2 6) (2 5) (3 4) (2 4) (3 3) (2 2) (0 1 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 0) (B 1))
-        (LOAD-TIME-VALUE A B)
-        (MULTIPLE-VALUE-CALL 'F A B A)
-        (SETQ A B
-              B A)
-        (PROGN A B)
-        (MULTIPLE-VALUE-PROG1 A B A)
-        (UNWIND-PROTECT A (THE INTEGER B) C))
-      (2 2))
-     ((2 2 7) (2 6) (2 5) (3 4) (2 4) (3 3) (2 2) (0 1 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 0) (B 1))
-        (LOAD-TIME-VALUE A B)
-        (MULTIPLE-VALUE-CALL 'F A B A)
-        (SETQ A B
-              B A)
-        (PROGN A B)
-        (MULTIPLE-VALUE-PROG1 A B A)
-        (UNWIND-PROTECT A (THE INTEGER B) C))
-      (2 3))
-     ((1 7) (3 6) (1 6) (1 5) (4 4) (1 4) (4 3) (2 3) (1 2) (0 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 0) (B 1))
-        (LOAD-TIME-VALUE A B)
-        (MULTIPLE-VALUE-CALL 'F A B A)
-        (SETQ A B
-              B A)
-        (PROGN A B)
-        (MULTIPLE-VALUE-PROG1 A B A)
-        (UNWIND-PROTECT A (THE INTEGER B) C))
-      (3 3))
-     ((2 2 7) (2 6) (2 5) (3 4) (2 4) (3 3) (2 2) (0 1 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 0) (B 1))
-        (LOAD-TIME-VALUE A B)
-        (MULTIPLE-VALUE-CALL 'F A B A)
-        (SETQ A B
-              B A)
-        (PROGN A B)
-        (MULTIPLE-VALUE-PROG1 A B A)
-        (UNWIND-PROTECT A (THE INTEGER B) C))
-      (4 3))
-     ((1 7) (3 6) (1 6) (1 5) (4 4) (1 4) (4 3) (2 3) (1 2) (0 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 0) (B 1))
-        (LOAD-TIME-VALUE A B)
-        (MULTIPLE-VALUE-CALL 'F A B A)
-        (SETQ A B
-              B A)
-        (PROGN A B)
-        (MULTIPLE-VALUE-PROG1 A B A)
-        (UNWIND-PROTECT A (THE INTEGER B) C))
-      (1 4))
-     ((1 7) (3 6) (1 6) (1 5) (4 4) (1 4) (4 3) (2 3) (1 2) (0 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 0) (B 1))
-        (LOAD-TIME-VALUE A B)
-        (MULTIPLE-VALUE-CALL 'F A B A)
-        (SETQ A B
-              B A)
-        (PROGN A B)
-        (MULTIPLE-VALUE-PROG1 A B A)
-        (UNWIND-PROTECT A (THE INTEGER B) C))
-      (2 4))
-     ((2 2 7) (2 6) (2 5) (3 4) (2 4) (3 3) (2 2) (0 1 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 0) (B 1))
-        (LOAD-TIME-VALUE A B)
-        (MULTIPLE-VALUE-CALL 'F A B A)
-        (SETQ A B
-              B A)
-        (PROGN A B)
-        (MULTIPLE-VALUE-PROG1 A B A)
-        (UNWIND-PROTECT A (THE INTEGER B) C))
-      (3 4))
-     ((2 2 7) (2 6) (2 5) (3 4) (2 4) (3 3) (2 2) (0 1 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 0) (B 1))
-        (LOAD-TIME-VALUE A B)
-        (MULTIPLE-VALUE-CALL 'F A B A)
-        (SETQ A B
-              B A)
-        (PROGN A B)
-        (MULTIPLE-VALUE-PROG1 A B A)
-        (UNWIND-PROTECT A (THE INTEGER B) C))
-      (4 4))
-     ((1 7) (3 6) (1 6) (1 5) (4 4) (1 4) (4 3) (2 3) (1 2) (0 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 0) (B 1))
-        (LOAD-TIME-VALUE A B)
-        (MULTIPLE-VALUE-CALL 'F A B A)
-        (SETQ A B
-              B A)
-        (PROGN A B)
-        (MULTIPLE-VALUE-PROG1 A B A)
-        (UNWIND-PROTECT A (THE INTEGER B) C))
-      (1 5))
-     ((1 7) (3 6) (1 6) (1 5) (4 4) (1 4) (4 3) (2 3) (1 2) (0 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 0) (B 1))
-        (LOAD-TIME-VALUE A B)
-        (MULTIPLE-VALUE-CALL 'F A B A)
-        (SETQ A B
-              B A)
-        (PROGN A B)
-        (MULTIPLE-VALUE-PROG1 A B A)
-        (UNWIND-PROTECT A (THE INTEGER B) C))
-      (2 5))
-     ((2 2 7) (2 6) (2 5) (3 4) (2 4) (3 3) (2 2) (0 1 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 0) (B 1))
-        (LOAD-TIME-VALUE A B)
-        (MULTIPLE-VALUE-CALL 'F A B A)
-        (SETQ A B
-              B A)
-        (PROGN A B)
-        (MULTIPLE-VALUE-PROG1 A B A)
-        (UNWIND-PROTECT A (THE INTEGER B) C))
-      (1 6))
-     ((1 7) (3 6) (1 6) (1 5) (4 4) (1 4) (4 3) (2 3) (1 2) (0 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 0) (B 1))
-        (LOAD-TIME-VALUE A B)
-        (MULTIPLE-VALUE-CALL 'F A B A)
-        (SETQ A B
-              B A)
-        (PROGN A B)
-        (MULTIPLE-VALUE-PROG1 A B A)
-        (UNWIND-PROTECT A (THE INTEGER B) C))
-      (2 6))
-     ((2 2 7) (2 6) (2 5) (3 4) (2 4) (3 3) (2 2) (0 1 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 0) (B 1))
-        (LOAD-TIME-VALUE A B)
-        (MULTIPLE-VALUE-CALL 'F A B A)
-        (SETQ A B
-              B A)
-        (PROGN A B)
-        (MULTIPLE-VALUE-PROG1 A B A)
-        (UNWIND-PROTECT A (THE INTEGER B) C))
-      (3 6))
-     ((1 7) (3 6) (1 6) (1 5) (4 4) (1 4) (4 3) (2 3) (1 2) (0 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 0) (B 1))
-        (LOAD-TIME-VALUE A B)
-        (MULTIPLE-VALUE-CALL 'F A B A)
-        (SETQ A B
-              B A)
-        (PROGN A B)
-        (MULTIPLE-VALUE-PROG1 A B A)
-        (UNWIND-PROTECT A (THE INTEGER B) C))
-      (1 7))
-     ((1 7) (3 6) (1 6) (1 5) (4 4) (1 4) (4 3) (2 3) (1 2) (0 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 0) (B 1))
-        (LOAD-TIME-VALUE A B)
-        (MULTIPLE-VALUE-CALL 'F A B A)
-        (SETQ A B
-              B A)
-        (PROGN A B)
-        (MULTIPLE-VALUE-PROG1 A B A)
-        (UNWIND-PROTECT A (THE INTEGER B) C))
-      (2 2 7))
-     ((2 2 7) (2 6) (2 5) (3 4) (2 4) (3 3) (2 2) (0 1 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 0) (B 1))
-        (LOAD-TIME-VALUE A B)
-        (MULTIPLE-VALUE-CALL 'F A B A)
-        (SETQ A B
-              B A)
-        (PROGN A B)
-        (MULTIPLE-VALUE-PROG1 A B A)
-        (UNWIND-PROTECT A (THE INTEGER B) C))
-      (3 7))
-     ((3 7)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (0 1))
-     ((2) (1 5 1) (0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (1 1))
-     ((1 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (2 1))
-     ((2 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (3 1))
-     ((3 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (0 5 1))
-     ((3) (0 5 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (1 5 1))
-     ((2) (1 5 1) (0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (6 1))
-     ((4) (6 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (0 8 1))
-     ((5) (0 8 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (2))
-     ((2) (1 5 1) (0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (3))
-     ((3) (0 5 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (4))
-     ((4) (6 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (5))
-     ((5) (0 8 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS #'(LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO)
-      (0 1 1))
-     ((2 1) (1 5 1 1) (0 1 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS #'(LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO)
-      (1 1 1))
-     ((1 1 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS #'(LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO)
-      (2 1 1))
-     ((2 1 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS #'(LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO)
-      (3 1 1))
-     ((3 1 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS #'(LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO)
-      (0 5 1 1))
-     ((3 1) (0 5 1 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS #'(LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO)
-      (1 5 1 1))
-     ((2 1) (1 5 1 1) (0 1 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS #'(LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO)
-      (6 1 1))
-     ((4 1) (6 1 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS #'(LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO)
-      (0 8 1 1))
-     ((5 1) (0 8 1 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS #'(LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (2 1))
-     ((2 1) (1 5 1 1) (0 1 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS #'(LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (3 1))
-     ((3 1) (0 5 1 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS #'(LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (4 1))
-     ((4 1) (6 1 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS #'(LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (5 1))
-     ((5 1) (0 8 1 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (FLET ((F ()
-               ))
-        (FLET ((F (&OPTIONAL (X 1))
-                 X
-                 #'F
-                 (F X)))
-          (F X)
-          #'F))
-      (0 0 1))
-     ((0 4 0 1 2) (3 0 1 2) (0 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (FLET ((F ()
-               ))
-        (FLET ((F (&OPTIONAL (X 1))
-                 X
-                 #'F
-                 (F X)))
-          (F X)
-          #'F))
-      (1 1 2))
-     NIL)
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (FLET ((F ()
-               ))
-        (FLET ((F (&OPTIONAL (X 1))
-                 X
-                 #'F
-                 (F X)))
-          (F X)
-          #'F))
-      (0 0 1 2))
-     ((3 2) (0 2 2) (0 0 1 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (FLET ((F ()
-               ))
-        (FLET ((F (&OPTIONAL (X 1))
-                 X
-                 #'F
-                 (F X)))
-          (F X)
-          #'F))
-      (0 1 1 0 1 2))
-     ((1 4 0 1 2) (2 0 1 2) (0 1 1 0 1 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (FLET ((F ()
-               ))
-        (FLET ((F (&OPTIONAL (X 1))
-                 X
-                 #'F
-                 (F X)))
-          (F X)
-          #'F))
-      (2 0 1 2))
-     ((1 4 0 1 2) (2 0 1 2) (0 1 1 0 1 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (FLET ((F ()
-               ))
-        (FLET ((F (&OPTIONAL (X 1))
-                 X
-                 #'F
-                 (F X)))
-          (F X)
-          #'F))
-      (4 0 1 2))
-     NIL)
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (FLET ((F ()
-               ))
-        (FLET ((F (&OPTIONAL (X 1))
-                 X
-                 #'F
-                 (F X)))
-          (F X)
-          #'F))
-      (3 0 1 2))
-     ((0 4 0 1 2) (3 0 1 2) (0 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (FLET ((F ()
-               ))
-        (FLET ((F (&OPTIONAL (X 1))
-                 X
-                 #'F
-                 (F X)))
-          (F X)
-          #'F))
-      (0 4 0 1 2))
-     ((0 4 0 1 2) (3 0 1 2) (0 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (FLET ((F ()
-               ))
-        (FLET ((F (&OPTIONAL (X 1))
-                 X
-                 #'F
-                 (F X)))
-          (F X)
-          #'F))
-      (1 4 0 1 2))
-     ((1 4 0 1 2) (2 0 1 2) (0 1 1 0 1 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (FLET ((F ()
-               ))
-        (FLET ((F (&OPTIONAL (X 1))
-                 X
-                 #'F
-                 (F X)))
-          (F X)
-          #'F))
-      (0 2 2))
-     ((3 2) (0 2 2) (0 0 1 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (FLET ((F ()
-               ))
-        (FLET ((F (&OPTIONAL (X 1))
-                 X
-                 #'F
-                 (F X)))
-          (F X)
-          #'F))
-      (1 2 2))
-     ((1 2 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (FLET ((F ()
-               ))
-        (FLET ((F (&OPTIONAL (X 1))
-                 X
-                 #'F
-                 (F X)))
-          (F X)
-          #'F))
-      (1 2 2))
-     ((1 2 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (FLET ((F ()
-               ))
-        (FLET ((F (&OPTIONAL (X 1))
-                 X
-                 #'F
-                 (F X)))
-          (F X)
-          #'F))
-      (3 2))
-     ((3 2) (0 2 2) (0 0 1 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LABELS ((F ()
-                 (F)))
-        (LABELS ((F (&OPTIONAL (X 1))
-                   X
-                   (F X)))
-          #'F))
-      (0 0 1))
-     ((0 2 0 1) (0 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LABELS ((F ()
-                 (F)))
-        (LABELS ((F (&OPTIONAL (X 1))
-                   X
-                   (F X)))
-          #'F))
-      (0 2 0 1))
-     ((0 2 0 1) (0 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LABELS ((F ()
-                 (F)))
-        (LABELS ((F (&OPTIONAL (X 1))
-                   X
-                   (F X)))
-          #'F))
-      (0 0 1 2))
-     ((2 2) (0 3 0 1 2) (0 0 1 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LABELS ((F ()
-                 (F)))
-        (LABELS ((F (&OPTIONAL (X 1))
-                   X
-                   (F X)))
-          #'F))
-      (0 1 1 0 1 2))
-     ((1 3 0 1 2) (2 0 1 2) (0 1 1 0 1 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LABELS ((F ()
-                 (F)))
-        (LABELS ((F (&OPTIONAL (X 1))
-                   X
-                   (F X)))
-          #'F))
-      (2 0 1 2))
-     ((1 3 0 1 2) (2 0 1 2) (0 1 1 0 1 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LABELS ((F ()
-                 (F)))
-        (LABELS ((F (&OPTIONAL (X 1))
-                   X
-                   (F X)))
-          #'F))
-      (0 3 0 1 2))
-     ((2 2) (0 3 0 1 2) (0 0 1 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LABELS ((F ()
-                 (F)))
-        (LABELS ((F (&OPTIONAL (X 1))
-                   X
-                   (F X)))
-          #'F))
-      (1 3 0 1 2))
-     ((1 3 0 1 2) (2 0 1 2) (0 1 1 0 1 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LABELS ((F ()
-                 (F)))
-        (LABELS ((F (&OPTIONAL (X 1))
-                   X
-                   (F X)))
-          #'F))
-      (2 2))
-     ((2 2) (0 3 0 1 2) (0 0 1 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LABELS ((F (X &KEY (Y X))
-                 (G X))
-               (G (Y)
-                 (F Y)))
-        (G 10))
-      (0 0 1))
-     ((0 2 1 1) (0 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LABELS ((F (X &KEY (Y X))
-                 (G X))
-               (G (Y)
-                 (F Y)))
-        (G 10))
-      (0 1 0 1))
-     ((1 2 0 1) (1 2 1 0 1) (0 1 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LABELS ((F (X &KEY (Y X))
-                 (G X))
-               (G (Y)
-                 (F Y)))
-        (G 10))
-      (0 2 1 0 1))
-     ((0 2 1 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LABELS ((F (X &KEY (Y X))
-                 (G X))
-               (G (Y)
-                 (F Y)))
-        (G 10))
-      (1 2 1 0 1))
-     ((1 2 0 1) (1 2 1 0 1) (0 1 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LABELS ((F (X &KEY (Y X))
-                 (G X))
-               (G (Y)
-                 (F Y)))
-        (G 10))
-      (0 2 0 1))
-     ((0 2) (0 1 1) (0 2 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LABELS ((F (X &KEY (Y X))
-                 (G X))
-               (G (Y)
-                 (F Y)))
-        (G 10))
-      (1 2 0 1))
-     ((1 2 0 1) (1 2 1 0 1) (0 1 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LABELS ((F (X &KEY (Y X))
-                 (G X))
-               (G (Y)
-                 (F Y)))
-        (G 10))
-      (0 1 1))
-     ((0 2) (0 1 1) (0 2 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LABELS ((F (X &KEY (Y X))
-                 (G X))
-               (G (Y)
-                 (F Y)))
-        (G 10))
-      (0 1 1 1))
-     ((1 2 1 1) (0 1 1 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LABELS ((F (X &KEY (Y X))
-                 (G X))
-               (G (Y)
-                 (F Y)))
-        (G 10))
-      (0 2 1 1))
-     ((0 2 1 1) (0 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LABELS ((F (X &KEY (Y X))
-                 (G X))
-               (G (Y)
-                 (F Y)))
-        (G 10))
-      (1 2 1 1))
-     ((1 2 1 1) (0 1 1 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LABELS ((F (X &KEY (Y X))
-                 (G X))
-               (G (Y)
-                 (F Y)))
-        (G 10))
-      (0 2))
-     ((0 2) (0 1 1) (0 2 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 0))
-        (DO ((X 1 (1+ X)))
-            ((= 10 X))
-          A
-          (LET ((A 1))
-            A)
-          B
-          C))
-      (0 0 1))
-     ((3 2) (0 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 0))
-        (DO ((X 1 (1+ X)))
-            ((= 10 X))
-          A
-          (LET ((A 1))
-            A)
-          B
-          C))
-      (0 0 1 2))
-     NIL)
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 0))
-        (DO ((X 1 (1+ X)))
-            ((= 10 X))
-          A
-          (LET ((A 1))
-            A)
-          B
-          C))
-      (3 2))
-     ((3 2) (0 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 0))
-        (DO ((X 1 (1+ X)))
-            ((= 10 X))
-          A
-          (LET ((A 1))
-            A)
-          B
-          C))
-      (0 1 4 2))
-     NIL)
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 0))
-        (DO ((X 1 (1+ X)))
-            ((= 10 X))
-          A
-          (LET ((A 1))
-            A)
-          B
-          C))
-      (0 0 1 4 2))
-     ((2 4 2) (0 0 1 4 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 0))
-        (DO ((X 1 (1+ X)))
-            ((= 10 X))
-          A
-          (LET ((A 1))
-            A)
-          B
-          C))
-      (2 4 2))
-     ((2 4 2) (0 0 1 4 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 0))
-        (DO ((X 1 (1+ X)))
-            ((= 10 X))
-          A
-          (LET ((A 1))
-            A)
-          B
-          C))
-      (5 2))
-     ((5 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 0))
-        (DO ((X 1 (1+ X)))
-            ((= 10 X))
-          A
-          (LET ((A 1))
-            A)
-          B
-          C))
-      (6 2))
-     ((6 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 0))
-        (WITH-HOGE NIL A B C))
-      (0 0 1))
-     ((2 2) (0 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (EVAL-WHEN (:COMPILE-TOPLEVEL :LOAD-TOPLEVEL :EXECUTE)
-        (LET ((A 0))
-          A))
-      (0 0 1 2))
-     ((2 2) (0 0 1 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (EVAL-WHEN (:COMPILE-TOPLEVEL :LOAD-TOPLEVEL :EXECUTE)
-        (LET ((A 0))
-          A))
-      (2 2))
-     ((2 2) (0 0 1 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (BLOCK FOO
-        (RETURN-FROM FOO 10)
-        (BLOCK FOO (RETURN-FROM FOO 20) (RETURN-FROM FOO 30))
-        (RETURN-FROM FOO 40))
-      (1))
-     ((1 4) (1 2) (1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (EVAL-WHEN (:COMPILE-TOPLEVEL :LOAD-TOPLEVEL :EXECUTE)
-        (LET ((A 0))
-          A))
-      (2 2))
-     ((2 2) (0 0 1 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (EVAL-WHEN (:COMPILE-TOPLEVEL :LOAD-TOPLEVEL :EXECUTE)
-        (LET ((A 0))
-          A))
-      (0 0 1 2))
-     ((2 2) (0 0 1 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 0))
-        (WITH-HOGE NIL A B C))
-      (0 0 1))
-     ((2 2) (0 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 0))
-        (DO ((X 1 (1+ X)))
-            ((= 10 X))
-          A
-          (LET ((A 1))
-            A)
-          B
-          C))
-      (6 2))
-     ((6 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 0))
-        (DO ((X 1 (1+ X)))
-            ((= 10 X))
-          A
-          (LET ((A 1))
-            A)
-          B
-          C))
-      (5 2))
-     ((5 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 0))
-        (DO ((X 1 (1+ X)))
-            ((= 10 X))
-          A
-          (LET ((A 1))
-            A)
-          B
-          C))
-      (2 4 2))
-     ((2 4 2) (0 0 1 4 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 0))
-        (DO ((X 1 (1+ X)))
-            ((= 10 X))
-          A
-          (LET ((A 1))
-            A)
-          B
-          C))
-      (0 0 1 4 2))
-     ((2 4 2) (0 0 1 4 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 0))
-        (DO ((X 1 (1+ X)))
-            ((= 10 X))
-          A
-          (LET ((A 1))
-            A)
-          B
-          C))
-      (0 1 4 2))
-     NIL)
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 0))
-        (DO ((X 1 (1+ X)))
-            ((= 10 X))
-          A
-          (LET ((A 1))
-            A)
-          B
-          C))
-      (3 2))
-     ((3 2) (0 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 0))
-        (DO ((X 1 (1+ X)))
-            ((= 10 X))
-          A
-          (LET ((A 1))
-            A)
-          B
-          C))
-      (0 0 1 2))
-     NIL)
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 0))
-        (DO ((X 1 (1+ X)))
-            ((= 10 X))
-          A
-          (LET ((A 1))
-            A)
-          B
-          C))
-      (0 0 1))
-     ((3 2) (0 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LABELS ((F (X &KEY (Y X))
-                 (G X))
-               (G (Y)
-                 (F Y)))
-        (G 10))
-      (0 2))
-     ((0 2) (0 1 1) (0 2 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LABELS ((F (X &KEY (Y X))
-                 (G X))
-               (G (Y)
-                 (F Y)))
-        (G 10))
-      (1 2 1 1))
-     ((1 2 1 1) (0 1 1 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LABELS ((F (X &KEY (Y X))
-                 (G X))
-               (G (Y)
-                 (F Y)))
-        (G 10))
-      (0 2 1 1))
-     ((0 2 1 1) (0 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LABELS ((F (X &KEY (Y X))
-                 (G X))
-               (G (Y)
-                 (F Y)))
-        (G 10))
-      (0 1 1 1))
-     ((1 2 1 1) (0 1 1 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LABELS ((F (X &KEY (Y X))
-                 (G X))
-               (G (Y)
-                 (F Y)))
-        (G 10))
-      (0 1 1))
-     ((0 2) (0 1 1) (0 2 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LABELS ((F (X &KEY (Y X))
-                 (G X))
-               (G (Y)
-                 (F Y)))
-        (G 10))
-      (1 2 0 1))
-     ((1 2 0 1) (1 2 1 0 1) (0 1 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LABELS ((F (X &KEY (Y X))
-                 (G X))
-               (G (Y)
-                 (F Y)))
-        (G 10))
-      (0 2 0 1))
-     ((0 2) (0 1 1) (0 2 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LABELS ((F (X &KEY (Y X))
-                 (G X))
-               (G (Y)
-                 (F Y)))
-        (G 10))
-      (1 2 1 0 1))
-     ((1 2 0 1) (1 2 1 0 1) (0 1 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LABELS ((F (X &KEY (Y X))
-                 (G X))
-               (G (Y)
-                 (F Y)))
-        (G 10))
-      (0 2 1 0 1))
-     ((0 2 1 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LABELS ((F (X &KEY (Y X))
-                 (G X))
-               (G (Y)
-                 (F Y)))
-        (G 10))
-      (0 1 0 1))
-     ((1 2 0 1) (1 2 1 0 1) (0 1 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LABELS ((F (X &KEY (Y X))
-                 (G X))
-               (G (Y)
-                 (F Y)))
-        (G 10))
-      (0 0 1))
-     ((0 2 1 1) (0 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LABELS ((F ()
-                 (F)))
-        (LABELS ((F (&OPTIONAL (X 1))
-                   X
-                   (F X)))
-          #'F))
-      (2 2))
-     ((2 2) (0 3 0 1 2) (0 0 1 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LABELS ((F ()
-                 (F)))
-        (LABELS ((F (&OPTIONAL (X 1))
-                   X
-                   (F X)))
-          #'F))
-      (1 3 0 1 2))
-     ((1 3 0 1 2) (2 0 1 2) (0 1 1 0 1 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LABELS ((F ()
-                 (F)))
-        (LABELS ((F (&OPTIONAL (X 1))
-                   X
-                   (F X)))
-          #'F))
-      (0 3 0 1 2))
-     ((2 2) (0 3 0 1 2) (0 0 1 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LABELS ((F ()
-                 (F)))
-        (LABELS ((F (&OPTIONAL (X 1))
-                   X
-                   (F X)))
-          #'F))
-      (2 0 1 2))
-     ((1 3 0 1 2) (2 0 1 2) (0 1 1 0 1 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LABELS ((F ()
-                 (F)))
-        (LABELS ((F (&OPTIONAL (X 1))
-                   X
-                   (F X)))
-          #'F))
-      (0 1 1 0 1 2))
-     ((1 3 0 1 2) (2 0 1 2) (0 1 1 0 1 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LABELS ((F ()
-                 (F)))
-        (LABELS ((F (&OPTIONAL (X 1))
-                   X
-                   (F X)))
-          #'F))
-      (0 0 1 2))
-     ((2 2) (0 3 0 1 2) (0 0 1 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LABELS ((F ()
-                 (F)))
-        (LABELS ((F (&OPTIONAL (X 1))
-                   X
-                   (F X)))
-          #'F))
-      (0 2 0 1))
-     ((0 2 0 1) (0 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LABELS ((F ()
-                 (F)))
-        (LABELS ((F (&OPTIONAL (X 1))
-                   X
-                   (F X)))
-          #'F))
-      (0 0 1))
-     ((0 2 0 1) (0 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (FLET ((F ()
-               ))
-        (FLET ((F (&OPTIONAL (X 1))
-                 X
-                 #'F
-                 (F X)))
-          (F X)
-          #'F))
-      (3 2))
-     ((3 2) (0 2 2) (0 0 1 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (FLET ((F ()
-               ))
-        (FLET ((F (&OPTIONAL (X 1))
-                 X
-                 #'F
-                 (F X)))
-          (F X)
-          #'F))
-      (1 2 2))
-     ((1 2 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (FLET ((F ()
-               ))
-        (FLET ((F (&OPTIONAL (X 1))
-                 X
-                 #'F
-                 (F X)))
-          (F X)
-          #'F))
-      (1 2 2))
-     ((1 2 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (FLET ((F ()
-               ))
-        (FLET ((F (&OPTIONAL (X 1))
-                 X
-                 #'F
-                 (F X)))
-          (F X)
-          #'F))
-      (0 2 2))
-     ((3 2) (0 2 2) (0 0 1 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (FLET ((F ()
-               ))
-        (FLET ((F (&OPTIONAL (X 1))
-                 X
-                 #'F
-                 (F X)))
-          (F X)
-          #'F))
-      (1 4 0 1 2))
-     ((1 4 0 1 2) (2 0 1 2) (0 1 1 0 1 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (FLET ((F ()
-               ))
-        (FLET ((F (&OPTIONAL (X 1))
-                 X
-                 #'F
-                 (F X)))
-          (F X)
-          #'F))
-      (0 4 0 1 2))
-     ((0 4 0 1 2) (3 0 1 2) (0 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (FLET ((F ()
-               ))
-        (FLET ((F (&OPTIONAL (X 1))
-                 X
-                 #'F
-                 (F X)))
-          (F X)
-          #'F))
-      (3 0 1 2))
-     ((0 4 0 1 2) (3 0 1 2) (0 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (FLET ((F ()
-               ))
-        (FLET ((F (&OPTIONAL (X 1))
-                 X
-                 #'F
-                 (F X)))
-          (F X)
-          #'F))
-      (4 0 1 2))
-     NIL)
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (FLET ((F ()
-               ))
-        (FLET ((F (&OPTIONAL (X 1))
-                 X
-                 #'F
-                 (F X)))
-          (F X)
-          #'F))
-      (2 0 1 2))
-     ((1 4 0 1 2) (2 0 1 2) (0 1 1 0 1 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (FLET ((F ()
-               ))
-        (FLET ((F (&OPTIONAL (X 1))
-                 X
-                 #'F
-                 (F X)))
-          (F X)
-          #'F))
-      (0 1 1 0 1 2))
-     ((1 4 0 1 2) (2 0 1 2) (0 1 1 0 1 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (FLET ((F ()
-               ))
-        (FLET ((F (&OPTIONAL (X 1))
-                 X
-                 #'F
-                 (F X)))
-          (F X)
-          #'F))
-      (0 0 1 2))
-     ((3 2) (0 2 2) (0 0 1 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (FLET ((F ()
-               ))
-        (FLET ((F (&OPTIONAL (X 1))
-                 X
-                 #'F
-                 (F X)))
-          (F X)
-          #'F))
-      (1 1 2))
-     NIL)
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (FLET ((F ()
-               ))
-        (FLET ((F (&OPTIONAL (X 1))
-                 X
-                 #'F
-                 (F X)))
-          (F X)
-          #'F))
-      (0 0 1))
-     ((0 4 0 1 2) (3 0 1 2) (0 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS #'(LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (5 1))
-     ((5 1) (0 8 1 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS #'(LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (4 1))
-     ((4 1) (6 1 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS #'(LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (3 1))
-     ((3 1) (0 5 1 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS #'(LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (2 1))
-     ((2 1) (1 5 1 1) (0 1 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS #'(LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO)
-      (0 8 1 1))
-     ((5 1) (0 8 1 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS #'(LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO)
-      (6 1 1))
-     ((4 1) (6 1 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS #'(LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO)
-      (1 5 1 1))
-     ((2 1) (1 5 1 1) (0 1 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS #'(LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO)
-      (0 5 1 1))
-     ((3 1) (0 5 1 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS #'(LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO)
-      (3 1 1))
-     ((3 1 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS #'(LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO)
-      (2 1 1))
-     ((2 1 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS #'(LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO)
-      (1 1 1))
-     ((1 1 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS #'(LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO)
-      (0 1 1))
-     ((2 1) (1 5 1 1) (0 1 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (5))
-     ((5) (0 8 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (4))
-     ((4) (6 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (3))
-     ((3) (0 5 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (2))
-     ((2) (1 5 1) (0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (0 8 1))
-     ((5) (0 8 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (6 1))
-     ((4) (6 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (1 5 1))
-     ((2) (1 5 1) (0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (0 5 1))
-     ((3) (0 5 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (3 1))
-     ((3 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (2 1))
-     ((2 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (1 1))
-     ((1 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (LAMBDA (X A B C &KEY (Y X) Z &AUX (FOO 10)) X Y Z FOO) (0 1))
-     ((2) (1 5 1) (0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 0) (B 1))
-        (LOAD-TIME-VALUE A B)
-        (MULTIPLE-VALUE-CALL 'F A B A)
-        (SETQ A B
-              B A)
-        (PROGN A B)
-        (MULTIPLE-VALUE-PROG1 A B A)
-        (UNWIND-PROTECT A (THE INTEGER B) C))
-      (3 7))
-     ((3 7)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 0) (B 1))
-        (LOAD-TIME-VALUE A B)
-        (MULTIPLE-VALUE-CALL 'F A B A)
-        (SETQ A B
-              B A)
-        (PROGN A B)
-        (MULTIPLE-VALUE-PROG1 A B A)
-        (UNWIND-PROTECT A (THE INTEGER B) C))
-      (2 2 7))
-     ((2 2 7) (2 6) (2 5) (3 4) (2 4) (3 3) (2 2) (0 1 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 0) (B 1))
-        (LOAD-TIME-VALUE A B)
-        (MULTIPLE-VALUE-CALL 'F A B A)
-        (SETQ A B
-              B A)
-        (PROGN A B)
-        (MULTIPLE-VALUE-PROG1 A B A)
-        (UNWIND-PROTECT A (THE INTEGER B) C))
-      (1 7))
-     ((1 7) (3 6) (1 6) (1 5) (4 4) (1 4) (4 3) (2 3) (1 2) (0 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 0) (B 1))
-        (LOAD-TIME-VALUE A B)
-        (MULTIPLE-VALUE-CALL 'F A B A)
-        (SETQ A B
-              B A)
-        (PROGN A B)
-        (MULTIPLE-VALUE-PROG1 A B A)
-        (UNWIND-PROTECT A (THE INTEGER B) C))
-      (3 6))
-     ((1 7) (3 6) (1 6) (1 5) (4 4) (1 4) (4 3) (2 3) (1 2) (0 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 0) (B 1))
-        (LOAD-TIME-VALUE A B)
-        (MULTIPLE-VALUE-CALL 'F A B A)
-        (SETQ A B
-              B A)
-        (PROGN A B)
-        (MULTIPLE-VALUE-PROG1 A B A)
-        (UNWIND-PROTECT A (THE INTEGER B) C))
-      (2 6))
-     ((2 2 7) (2 6) (2 5) (3 4) (2 4) (3 3) (2 2) (0 1 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 0) (B 1))
-        (LOAD-TIME-VALUE A B)
-        (MULTIPLE-VALUE-CALL 'F A B A)
-        (SETQ A B
-              B A)
-        (PROGN A B)
-        (MULTIPLE-VALUE-PROG1 A B A)
-        (UNWIND-PROTECT A (THE INTEGER B) C))
-      (1 6))
-     ((1 7) (3 6) (1 6) (1 5) (4 4) (1 4) (4 3) (2 3) (1 2) (0 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 0) (B 1))
-        (LOAD-TIME-VALUE A B)
-        (MULTIPLE-VALUE-CALL 'F A B A)
-        (SETQ A B
-              B A)
-        (PROGN A B)
-        (MULTIPLE-VALUE-PROG1 A B A)
-        (UNWIND-PROTECT A (THE INTEGER B) C))
-      (2 5))
-     ((2 2 7) (2 6) (2 5) (3 4) (2 4) (3 3) (2 2) (0 1 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 0) (B 1))
-        (LOAD-TIME-VALUE A B)
-        (MULTIPLE-VALUE-CALL 'F A B A)
-        (SETQ A B
-              B A)
-        (PROGN A B)
-        (MULTIPLE-VALUE-PROG1 A B A)
-        (UNWIND-PROTECT A (THE INTEGER B) C))
-      (1 5))
-     ((1 7) (3 6) (1 6) (1 5) (4 4) (1 4) (4 3) (2 3) (1 2) (0 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 0) (B 1))
-        (LOAD-TIME-VALUE A B)
-        (MULTIPLE-VALUE-CALL 'F A B A)
-        (SETQ A B
-              B A)
-        (PROGN A B)
-        (MULTIPLE-VALUE-PROG1 A B A)
-        (UNWIND-PROTECT A (THE INTEGER B) C))
-      (4 4))
-     ((1 7) (3 6) (1 6) (1 5) (4 4) (1 4) (4 3) (2 3) (1 2) (0 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 0) (B 1))
-        (LOAD-TIME-VALUE A B)
-        (MULTIPLE-VALUE-CALL 'F A B A)
-        (SETQ A B
-              B A)
-        (PROGN A B)
-        (MULTIPLE-VALUE-PROG1 A B A)
-        (UNWIND-PROTECT A (THE INTEGER B) C))
-      (3 4))
-     ((2 2 7) (2 6) (2 5) (3 4) (2 4) (3 3) (2 2) (0 1 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 0) (B 1))
-        (LOAD-TIME-VALUE A B)
-        (MULTIPLE-VALUE-CALL 'F A B A)
-        (SETQ A B
-              B A)
-        (PROGN A B)
-        (MULTIPLE-VALUE-PROG1 A B A)
-        (UNWIND-PROTECT A (THE INTEGER B) C))
-      (2 4))
-     ((2 2 7) (2 6) (2 5) (3 4) (2 4) (3 3) (2 2) (0 1 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 0) (B 1))
-        (LOAD-TIME-VALUE A B)
-        (MULTIPLE-VALUE-CALL 'F A B A)
-        (SETQ A B
-              B A)
-        (PROGN A B)
-        (MULTIPLE-VALUE-PROG1 A B A)
-        (UNWIND-PROTECT A (THE INTEGER B) C))
-      (1 4))
-     ((1 7) (3 6) (1 6) (1 5) (4 4) (1 4) (4 3) (2 3) (1 2) (0 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 0) (B 1))
-        (LOAD-TIME-VALUE A B)
-        (MULTIPLE-VALUE-CALL 'F A B A)
-        (SETQ A B
-              B A)
-        (PROGN A B)
-        (MULTIPLE-VALUE-PROG1 A B A)
-        (UNWIND-PROTECT A (THE INTEGER B) C))
-      (4 3))
-     ((1 7) (3 6) (1 6) (1 5) (4 4) (1 4) (4 3) (2 3) (1 2) (0 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 0) (B 1))
-        (LOAD-TIME-VALUE A B)
-        (MULTIPLE-VALUE-CALL 'F A B A)
-        (SETQ A B
-              B A)
-        (PROGN A B)
-        (MULTIPLE-VALUE-PROG1 A B A)
-        (UNWIND-PROTECT A (THE INTEGER B) C))
-      (3 3))
-     ((2 2 7) (2 6) (2 5) (3 4) (2 4) (3 3) (2 2) (0 1 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 0) (B 1))
-        (LOAD-TIME-VALUE A B)
-        (MULTIPLE-VALUE-CALL 'F A B A)
-        (SETQ A B
-              B A)
-        (PROGN A B)
-        (MULTIPLE-VALUE-PROG1 A B A)
-        (UNWIND-PROTECT A (THE INTEGER B) C))
-      (2 3))
-     ((1 7) (3 6) (1 6) (1 5) (4 4) (1 4) (4 3) (2 3) (1 2) (0 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 0) (B 1))
-        (LOAD-TIME-VALUE A B)
-        (MULTIPLE-VALUE-CALL 'F A B A)
-        (SETQ A B
-              B A)
-        (PROGN A B)
-        (MULTIPLE-VALUE-PROG1 A B A)
-        (UNWIND-PROTECT A (THE INTEGER B) C))
-      (2 2))
-     ((2 2 7) (2 6) (2 5) (3 4) (2 4) (3 3) (2 2) (0 1 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 0) (B 1))
-        (LOAD-TIME-VALUE A B)
-        (MULTIPLE-VALUE-CALL 'F A B A)
-        (SETQ A B
-              B A)
-        (PROGN A B)
-        (MULTIPLE-VALUE-PROG1 A B A)
-        (UNWIND-PROTECT A (THE INTEGER B) C))
-      (2 2))
-     ((2 2 7) (2 6) (2 5) (3 4) (2 4) (3 3) (2 2) (0 1 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 0) (B 1))
-        (LOAD-TIME-VALUE A B)
-        (MULTIPLE-VALUE-CALL 'F A B A)
-        (SETQ A B
-              B A)
-        (PROGN A B)
-        (MULTIPLE-VALUE-PROG1 A B A)
-        (UNWIND-PROTECT A (THE INTEGER B) C))
-      (1 2))
-     ((1 7) (3 6) (1 6) (1 5) (4 4) (1 4) (4 3) (2 3) (1 2) (0 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 0) (B 1))
-        (LOAD-TIME-VALUE A B)
-        (MULTIPLE-VALUE-CALL 'F A B A)
-        (SETQ A B
-              B A)
-        (PROGN A B)
-        (MULTIPLE-VALUE-PROG1 A B A)
-        (UNWIND-PROTECT A (THE INTEGER B) C))
-      (0 1 1))
-     ((2 2 7) (2 6) (2 5) (3 4) (2 4) (3 3) (2 2) (0 1 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 0) (B 1))
-        (LOAD-TIME-VALUE A B)
-        (MULTIPLE-VALUE-CALL 'F A B A)
-        (SETQ A B
-              B A)
-        (PROGN A B)
-        (MULTIPLE-VALUE-PROG1 A B A)
-        (UNWIND-PROTECT A (THE INTEGER B) C))
-      (0 0 1))
-     ((1 7) (3 6) (1 6) (1 5) (4 4) (1 4) (4 3) (2 3) (1 2) (0 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 1))
-        (LET ((B A))
-          A
-          B))
-      (3 2))
-     ((3 2) (0 0 1 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 1))
-        (LET ((B A))
-          A
-          B))
-      (2 2))
-     ((2 2) (1 0 1 2) (0 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 1))
-        (LET ((B A))
-          A
-          B))
-      (1 0 1 2))
-     ((2 2) (1 0 1 2) (0 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 1))
-        (LET ((B A))
-          A
-          B))
-      (0 0 1 2))
-     ((3 2) (0 0 1 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((A 1))
-        (LET ((B A))
-          A
-          B))
-      (0 0 1))
-     ((2 2) (1 0 1 2) (0 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET* ((A 0) (B A))
-        (LET* ((A A) (B A))
-          A)
-        A)
-      (3))
-     ((3) (1 0 1 2) (1 1 1) (0 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET* ((A 0) (B A))
-        (LET* ((A A) (B A))
-          A)
-        A)
-      (2 2))
-     ((2 2) (1 1 1 2) (0 0 1 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET* ((A 0) (B A))
-        (LET* ((A A) (B A))
-          A)
-        A)
-      (1 1 1 2))
-     ((2 2) (1 1 1 2) (0 0 1 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET* ((A 0) (B A))
-        (LET* ((A A) (B A))
-          A)
-        A)
-      (0 1 1 2))
-     ((0 1 1 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET* ((A 0) (B A))
-        (LET* ((A A) (B A))
-          A)
-        A)
-      (1 0 1 2))
-     ((3) (1 0 1 2) (1 1 1) (0 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET* ((A 0) (B A))
-        (LET* ((A A) (B A))
-          A)
-        A)
-      (0 0 1 2))
-     ((2 2) (1 1 1 2) (0 0 1 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET* ((A 0) (B A))
-        (LET* ((A A) (B A))
-          A)
-        A)
-      (1 1 1))
-     ((3) (1 0 1 2) (1 1 1) (0 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET* ((A 0) (B A))
-        (LET* ((A A) (B A))
-          A)
-        A)
-      (0 1 1))
-     ((0 1 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET* ((A 0) (B A))
-        (LET* ((A A) (B A))
-          A)
-        A)
-      (0 0 1))
-     ((3) (1 0 1 2) (1 1 1) (0 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (BLOCK FOO
-        (RETURN-FROM FOO 10)
-        (BLOCK FOO (RETURN-FROM FOO 20) (RETURN-FROM FOO 30))
-        (RETURN-FROM FOO 40))
-      (1 4))
-     ((1 4) (1 2) (1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (BLOCK FOO
-        (RETURN-FROM FOO 10)
-        (BLOCK FOO (RETURN-FROM FOO 20) (RETURN-FROM FOO 30))
-        (RETURN-FROM FOO 40))
-      (1 3 3))
-     ((1 3 3) (1 2 3) (1 3)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (BLOCK FOO
-        (RETURN-FROM FOO 10)
-        (BLOCK FOO (RETURN-FROM FOO 20) (RETURN-FROM FOO 30))
-        (RETURN-FROM FOO 40))
-      (1 2 3))
-     ((1 3 3) (1 2 3) (1 3)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (BLOCK FOO
-        (RETURN-FROM FOO 10)
-        (BLOCK FOO (RETURN-FROM FOO 20) (RETURN-FROM FOO 30))
-        (RETURN-FROM FOO 40))
-      (1 3))
-     ((1 3 3) (1 2 3) (1 3)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (BLOCK FOO
-        (RETURN-FROM FOO 10)
-        (BLOCK FOO (RETURN-FROM FOO 20) (RETURN-FROM FOO 30))
-        (RETURN-FROM FOO 40))
-      (1 2))
-     ((1 4) (1 2) (1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (BLOCK FOO
-        (RETURN-FROM FOO 10)
-        (BLOCK FOO (RETURN-FROM FOO 20) (RETURN-FROM FOO 30))
-        (RETURN-FROM FOO 40))
-      (1))
-     ((1 4) (1 2) (1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS FOO NIL) NIL)
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS FOO NIL) NIL)
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS FOO NIL) NIL)
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (BLOCK FOO
-        (RETURN-FROM FOO 10)
-        (BLOCK FOO (RETURN-FROM FOO 20) (RETURN-FROM FOO 30))
-        (RETURN-FROM FOO 40))
-      (1))
-     ((1 4) (1 2) (1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (DEFUN F (X Y) X Y X Y) (6)) ((6) (4) (1 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (DEFUN F (X Y) X Y X Y) (5)) ((5) (3) (0 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (DEFUN F (X Y) X Y X Y) (4)) ((6) (4) (1 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (DEFUN F (X Y) X Y X Y) (3)) ((5) (3) (0 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (DEFUN F (X Y) X Y X Y) (1 2)) ((6) (4) (1 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (DEFUN F (X Y) X Y X Y) (0 2)) ((5) (3) (0 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (DEFMETHOD ADD (X Y) (+ X Y)) (2 3)) ((2 3) (1 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (DEFMETHOD ADD (X Y) (+ X Y)) (1 3)) ((1 3) (0 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (DEFMETHOD ADD (X Y) (+ X Y)) (1 2)) ((2 3) (1 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (DEFMETHOD ADD (X Y) (+ X Y)) (0 2)) ((1 3) (0 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (DEFMETHOD MICROS/WALKER::ADD (MICROS/WALKER::X MICROS/WALKER::Y) (+ MICROS/WALKER::X MICROS/WALKER::Y))
-      (2 3))
-     ((2 3) (1 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (DEFMETHOD MICROS/WALKER::ADD (MICROS/WALKER::X MICROS/WALKER::Y) (+ MICROS/WALKER::X MICROS/WALKER::Y))
-      (1 3))
-     ((1 3) (0 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (DEFMETHOD MICROS/WALKER::ADD (MICROS/WALKER::X MICROS/WALKER::Y) (+ MICROS/WALKER::X MICROS/WALKER::Y))
-      (1 2))
-     ((2 3) (1 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (DEFMETHOD MICROS/WALKER::ADD (MICROS/WALKER::X MICROS/WALKER::Y) (+ MICROS/WALKER::X MICROS/WALKER::Y))
-      (0 2))
-     ((1 3) (0 2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (DEFMETHOD ADD :BEFORE ((X INTEGER) (Y INTEGER)) (PRINT (LIST X Y)))
-      (2 1 4))
-     ((2 1 4) (0 1 3)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (DEFMETHOD ADD :BEFORE ((X INTEGER) (Y INTEGER)) (PRINT (LIST X Y)))
-      (1 1 4))
-     ((1 1 4) (0 0 3)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (DEFMETHOD ADD :BEFORE ((X INTEGER) (Y INTEGER)) (PRINT (LIST X Y)))
-      (0 1 3))
-     ((2 1 4) (0 1 3)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (DEFMETHOD ADD :BEFORE ((X INTEGER) (Y INTEGER)) (PRINT (LIST X Y)))
-      (0 0 3))
-     ((1 1 4) (0 0 3)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      ((LAMBDA (MICROS/WALKER::A MICROS/WALKER::B) (+ MICROS/WALKER::A MICROS/WALKER::B)) 1 2) (2 2 0))
-     ((2 2 0) (1 1 0)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      ((LAMBDA (MICROS/WALKER::A MICROS/WALKER::B) (+ MICROS/WALKER::A MICROS/WALKER::B)) 1 2) (1 2 0))
-     ((1 2 0) (0 1 0)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      ((LAMBDA (MICROS/WALKER::A MICROS/WALKER::B) (+ MICROS/WALKER::A MICROS/WALKER::B)) 1 2) (1 1 0))
-     ((2 2 0) (1 1 0)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      ((LAMBDA (MICROS/WALKER::A MICROS/WALKER::B) (+ MICROS/WALKER::A MICROS/WALKER::B)) 1 2)
-      (0 1 0))
-     ((1 2 0) (0 1 0)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((COMMON-LISP-USER::A 0))
-        COMMON-LISP-USER::A
-        ((LAMBDA (COMMON-LISP-USER::A) (DECLARE (SPECIAL COMMON-LISP-USER::A)) COMMON-LISP-USER::A))
-        ((LAMBDA (COMMON-LISP-USER::A) (DECLARE (SPECIAL COMMON-LISP-USER::A)) COMMON-LISP-USER::A))
-        COMMON-LISP-USER::A)
-      (3 0 3))
-     ((3 0 4) (0 1 0 4) (3 0 3) (0 1 0 3)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((X 0))
-        (LOOP (F X)))
-      (1 1 2))
-     ((1 1 2) (0 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LET ((X 0))
-        (LOOP (F X)))
-      (0 0 1))
-     ((1 1 2) (0 0 1)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LOOP :WITH X := 0
-            :WITH Y := X
-            :WITH Z := (F X Y))
-      (2 12))
-     ((6) (2 12)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LOOP :WITH X := 0
-            :WITH Y := X
-            :WITH Z := (F X Y))
-      (1 12))
-     ((2) (8) (1 12)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LOOP :WITH X := 0
-            :WITH Y := X
-            :WITH Z := (F X Y))
-      (8))
-     ((2) (8) (1 12)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LOOP :WITH X := 0
-            :WITH Y := X
-            :WITH Z := (F X Y))
-      (10))
-     ((10)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LOOP :WITH X := 0
-            :WITH Y := X
-            :WITH Z := (F X Y))
-      (6))
-     ((6) (2 12)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LOOP :WITH X := 0
-            :WITH Y := X
-            :WITH Z := (F X Y))
-      (2))
-     ((2) (8) (1 12)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LOOP :WITH X := 0
-            :DO (F X))
-      (1 6))
-     ((1 6) (2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LOOP :WITH X := 0
-            :DO (F X))
-      (2))
-     ((1 6) (2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (LOOP :WITH X := 0 :RETURN :IT :RETURN (F X)) (6))
-     NIL)
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (LOOP :WITH X := 0 :RETURN :IT :RETURN (F X)) (1 8))
-     ((1 8) (2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS (LOOP :WITH X := 0 :RETURN :IT :RETURN (F X)) (2))
-     ((1 8) (2)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LOOP :WITH ((X Y) . Z) := (F)
-            :WITH A := (+ X Y Z))
-      (3 8))
-     ((2 2) (3 8)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LOOP :WITH ((X Y) . Z) := (F)
-            :WITH A := (+ X Y Z))
-      (2 8))
-     ((1 0 2) (2 8)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LOOP :WITH ((X Y) . Z) := (F)
-            :WITH A := (+ X Y Z))
-      (1 8))
-     ((0 0 2) (1 8)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LOOP :WITH ((X Y) . Z) := (F)
-            :WITH A := (+ X Y Z))
-      (2 2))
-     ((2 2) (3 8)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LOOP :WITH ((X Y) . Z) := (F)
-            :WITH A := (+ X Y Z))
-      (1 0 2))
-     ((1 0 2) (2 8)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LOOP :WITH ((X Y) . Z) := (F)
-            :WITH A := (+ X Y Z))
-      (0 0 2))
-     ((0 0 2) (1 8)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LOOP :WITH (X . Y) := (F)
-            :WITH A := X
-            :WITH B := Y)
-      (12))
-     ((2 2) (12)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LOOP :WITH (X . Y) := (F)
-            :WITH A := X
-            :WITH B := Y)
-      (8))
-     ((0 2) (8)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LOOP :WITH (X . Y) := (F)
-            :WITH A := X
-            :WITH B := Y)
-      (2 2))
-     ((2 2) (12)))
-    ((MICROS/WALKER:COLLECT-HIGHLIGHT-PATHS
-      (LOOP :WITH (X . Y) := (F)
-            :WITH A := X
-            :WITH B := Y)
-      (0 2))
-     ((0 2) (8)))))
+(defun load-test-cases ()
+  (uiop:read-file-forms (asdf:system-relative-pathname :micros/tests "contrib/walker/tests/test-cases.lisp")))
 
 (deftest random
-  (loop :for (act-form expected) :in *test-cases*
+  (loop :for (act-form expected) :in (load-test-cases)
         :for n :from 0
         :do (ok (equal expected (apply (first act-form) (rest act-form)))
                 (format nil "~D ~S" n act-form))))