diff --git a/regression/orig/test063.log b/regression/orig/test063.log
new file mode 100644
index 000000000..ab6d7e597
--- /dev/null
+++ b/regression/orig/test063.log
@@ -0,0 +1,2 @@
+> 100
+200
diff --git a/regression/test063.expr b/regression/test063.expr
new file mode 100644
index 000000000..2b4cfdf61
--- /dev/null
+++ b/regression/test063.expr
@@ -0,0 +1,9 @@
+fun traverse (l) {
+  case l of
+    {} -> skip
+  | (f@#fun) : tl -> f (); traverse (tl)
+  | _ : tl -> traverse (tl)
+  esac
+}
+
+traverse ({1, fun () write(100), 2, 3, 4, 5, fun () write (200), 6, 7})
\ No newline at end of file
diff --git a/regression/test063.input b/regression/test063.input
new file mode 100644
index 000000000..7ed6ff82d
--- /dev/null
+++ b/regression/test063.input
@@ -0,0 +1 @@
+5