diff --git a/ml-proto/test/expected-output/address.wast.log b/ml-proto/test/expected-output/address.wast.log
new file mode 100644
index 0000000000..6010156759
--- /dev/null
+++ b/ml-proto/test/expected-output/address.wast.log
@@ -0,0 +1,35 @@
+97 : i32
+98 : i32
+99 : i32
+122 : i32
+25185 : i32
+25442 : i32
+25699 : i32
+122 : i32
+1684234849 : i32
+1701077858 : i32
+1717920867 : i32
+122 : i32
+0 : i32
+0 : i32
+0 : i32
+0 : i32
+0 : i32
+0 : i32
+0 : i32
+0 : i32
+0 : i32
+0 : i32
+0 : i32
+0 : i32
+0 : i32
+0 : i32
+0 : i32
+0 : i32
+0 : i32
+0 : i32
+0 : i32
+0 : i32
+0 : i32
+0 : i32
+0 : i32
diff --git a/ml-proto/test/labels.wast b/ml-proto/test/labels.wast
index 35522b4b34..54f6f94bee 100644
--- a/ml-proto/test/labels.wast
+++ b/ml-proto/test/labels.wast
@@ -46,6 +46,18 @@
     )
   )
 
+  (func $loop4 (param $max i32) (result i32)
+    (local $i i32)
+    (set_local $i (i32.const 1))
+    (loop $exit $cont
+      (set_local $i (i32.add (get_local $i) (get_local $i)))
+      (if (i32.gt_u (get_local $i) (get_local $max))
+        (br $exit (get_local $i))
+      )
+      (br $cont)
+    )
+  )
+
   (func $switch (param i32) (result i32)
     (label $ret
       (i32.mul (i32.const 10)
@@ -91,6 +103,7 @@
   (export "loop1" $loop1)
   (export "loop2" $loop2)
   (export "loop3" $loop3)
+  (export "loop4" $loop4)
   (export "switch" $switch)
   (export "return" $return)
   (export "br_if" $br_if)
@@ -100,6 +113,7 @@
 (assert_return (invoke "loop1") (i32.const 5))
 (assert_return (invoke "loop2") (i32.const 8))
 (assert_return (invoke "loop3") (i32.const 1))
+(assert_return (invoke "loop4" (i32.const 8)) (i32.const 16))
 (assert_return (invoke "switch" (i32.const 0)) (i32.const 50))
 (assert_return (invoke "switch" (i32.const 1)) (i32.const 20))
 (assert_return (invoke "switch" (i32.const 2)) (i32.const 20))