8 files changed, 220 insertions, 156 deletions

diff --git a/test/binaryen.js/debug-names.js b/test/binaryen.js/debug-names.js
new file mode 100644
index 000000000..539b119aa
--- /dev/null
+++ b/test/binaryen.js/debug-names.js
@@ -0,0 +1,36 @@
+var wast = `
+(module $hello
+ (global $world i32 (i32.const 0))
+ (func $of (param $wasm i32)
+  (local $!#$%&'*+-./:<=>?@\\^_\`|~ f64)
+ )
+)
+`;
+// Note that global names are not yet covered by the name section, so it is
+// expected that the global's name is lost after roundtripping.
+
+console.log("=== input wast ===" + wast);
+
+var module = binaryen.parseText(wast);
+
+console.log("=== parsed wast ===\n" + module.emitText());
+
+var func = binaryen.Function(module.getFunction("of"));
+assert(func.numLocals === 2);
+assert(func.hasLocalName(0) === true);
+assert(func.getLocalName(0) === "wasm");
+assert(func.hasLocalName(1) === true);
+assert(func.getLocalName(1) === "!#$%&'*+-./:<=>?@\\^_\`|~");
+assert(func.hasLocalName(2) === false);
+func.setLocalName(0, "js");
+assert(func.getLocalName(0) === "js");
+
+binaryen.setDebugInfo(true);
+
+var module2 = binaryen.readBinary(module.emitBinary());
+
+module.dispose();
+
+console.log("=== roundtripped ===\n" + module2.emitText());
+
+module2.dispose();
diff --git a/test/binaryen.js/debug-names.js.txt b/test/binaryen.js/debug-names.js.txt
new file mode 100644
index 000000000..c982f2dc1
--- /dev/null
+++ b/test/binaryen.js/debug-names.js.txt
@@ -0,0 +1,28 @@
+=== input wast ===
+(module $hello
+ (global $world i32 (i32.const 0))
+ (func $of (param $wasm i32)
+  (local $!#$%&'*+-./:<=>?@\^_`|~ f64)
+ )
+)
+
+=== parsed wast ===
+(module $hello
+ (type $i32_=>_none (func (param i32)))
+ (global $world i32 (i32.const 0))
+ (func $of (param $wasm i32)
+  (local $!#$%&'*+-./:<=>?@\^_`|~ f64)
+  (nop)
+ )
+)
+
+=== roundtripped ===
+(module $hello
+ (type $i32_=>_none (func (param i32)))
+ (global $global$0 i32 (i32.const 0))
+ (func $of (param $js i32)
+  (local $!#$%&'*+-./:<=>?@\^_`|~ f64)
+  (nop)
+ )
+)
+
diff --git a/test/exception-handling.wast.fromBinary b/test/exception-handling.wast.fromBinary
index 7add5b33e..4e1895593 100644
--- a/test/exception-handling.wast.fromBinary
+++ b/test/exception-handling.wast.fromBinary
@@ -15,7 +15,7 @@
   (nop)
  )
  (func $eh_test
-  (local $0 exnref)
+  (local $exn exnref)
   (try
    (do
     (throw $event$0
@@ -23,14 +23,14 @@
     )
    )
    (catch
-    (local.set $0
+    (local.set $exn
      (pop exnref)
     )
     (drop
      (block $label$3 (result i32)
       (rethrow
        (br_on_exn $label$3 $event$0
-        (local.get $0)
+        (local.get $exn)
        )
       )
      )
diff --git a/test/grow_memory.wast.fromBinary b/test/grow_memory.wast.fromBinary
index bf93f1f35..82b5b18af 100644
--- a/test/grow_memory.wast.fromBinary
+++ b/test/grow_memory.wast.fromBinary
@@ -5,9 +5,9 @@
  (export "memory" (memory $0))
  (export "grow" (func $0))
  (export "current" (func $1))
- (func $0 (param $0 i32) (result i32)
+ (func $0 (param $var$0 i32) (result i32)
   (memory.grow
-   (local.get $0)
+   (local.get $var$0)
   )
  )
  (func $1 (result i32)
diff --git a/test/min.wast.fromBinary b/test/min.wast.fromBinary
index 1cf8a5ded..834b9cc28 100644
--- a/test/min.wast.fromBinary
+++ b/test/min.wast.fromBinary
@@ -5,36 +5,36 @@
  (type $f32_=>_f32 (func (param f32) (result f32)))
  (memory $0 256 256)
  (export "floats" (func $floats))
- (func $floats (param $0 f32) (result f32)
-  (local $1 f32)
+ (func $floats (param $f f32) (result f32)
+  (local $t f32)
   (f32.add
-   (local.get $1)
-   (local.get $0)
+   (local.get $t)
+   (local.get $f)
   )
  )
- (func $neg (param $0 i32) (param $1 i32) (result f32)
-  (local $2 f32)
-  (local.tee $2
+ (func $neg (param $k i32) (param $p i32) (result f32)
+  (local $n f32)
+  (local.tee $n
    (f32.neg
     (block $label$1 (result f32)
      (i32.store
-      (local.get $0)
-      (local.get $1)
+      (local.get $k)
+      (local.get $p)
      )
      (f32.load
-      (local.get $0)
+      (local.get $k)
      )
     )
    )
   )
  )
- (func $littleswitch (param $0 i32) (result i32)
+ (func $littleswitch (param $x i32) (result i32)
   (block $label$1 (result i32)
    (block $label$2
     (block $label$3
      (br_table $label$3 $label$2 $label$3
       (i32.sub
-       (local.get $0)
+       (local.get $x)
        (i32.const 1)
       )
      )
@@ -48,8 +48,8 @@
    )
   )
  )
- (func $f1 (param $0 i32) (param $1 i32) (param $2 i32) (result i32)
-  (local.get $2)
+ (func $f1 (param $i1 i32) (param $i2 i32) (param $i3 i32) (result i32)
+  (local.get $i3)
  )
 )
 
diff --git a/test/multivalue.wast.fromBinary b/test/multivalue.wast.fromBinary
index f4a8e20b7..db471ebe5 100644
--- a/test/multivalue.wast.fromBinary
+++ b/test/multivalue.wast.fromBinary
@@ -121,7 +121,7 @@
   (local.get $0)
  )
  (func $reverse (result f32 i64 i32)
-  (local $0 i32)
+  (local $x i32)
   (local $1 i64)
   (local $2 i64)
   (local $3 f32)
@@ -139,7 +139,7 @@
   (local.set $5
    (call $triple)
   )
-  (local.set $0
+  (local.set $x
    (block (result i32)
     (local.set $7
      (tuple.extract 0
@@ -167,7 +167,7 @@
   (drop
    (block (result i32)
     (local.set $9
-     (local.get $0)
+     (local.get $x)
     )
     (drop
      (block (result i64)
@@ -191,7 +191,7 @@
     (drop
      (block (result i32)
       (local.set $11
-       (local.get $0)
+       (local.get $x)
       )
       (local.set $2
        (block (result i64)
@@ -212,7 +212,7 @@
    (local.get $2)
    (block (result i32)
     (local.set $13
-     (local.get $0)
+     (local.get $x)
     )
     (drop
      (block (result i64)
diff --git a/test/polymorphic_stack.wast.fromBinary b/test/polymorphic_stack.wast.fromBinary
index 11d9eb590..1265bd080 100644
--- a/test/polymorphic_stack.wast.fromBinary
+++ b/test/polymorphic_stack.wast.fromBinary
@@ -12,8 +12,8 @@
  (func $call-and-unary (param $0 i32) (result i32)
   (unreachable)
  )
- (func $tee (param $0 i32)
-  (local $1 f32)
+ (func $tee (param $x i32)
+  (local $y f32)
   (unreachable)
  )
  (func $tee2
diff --git a/test/reference-types.wast.fromBinary b/test/reference-types.wast.fromBinary
index 00e651305..7b63a755b 100644
--- a/test/reference-types.wast.fromBinary
+++ b/test/reference-types.wast.fromBinary
@@ -40,84 +40,84 @@
   (nop)
  )
  (func $test
-  (local $0 funcref)
-  (local $1 externref)
-  (local $2 exnref)
-  (local $3 anyref)
-  (local.set $1
-   (local.get $1)
-  )
-  (local.set $1
+  (local $local_externref funcref)
+  (local $local_funcref externref)
+  (local $local_exnref exnref)
+  (local $local_anyref anyref)
+  (local.set $local_funcref
+   (local.get $local_funcref)
+  )
+  (local.set $local_funcref
    (global.get $global$0)
   )
-  (local.set $1
+  (local.set $local_funcref
    (ref.null extern)
   )
-  (local.set $0
-   (local.get $0)
+  (local.set $local_externref
+   (local.get $local_externref)
   )
-  (local.set $0
+  (local.set $local_externref
    (global.get $global$1)
   )
-  (local.set $0
+  (local.set $local_externref
    (ref.null func)
   )
-  (local.set $0
+  (local.set $local_externref
    (ref.func $foo)
   )
-  (local.set $2
-   (local.get $2)
+  (local.set $local_exnref
+   (local.get $local_exnref)
   )
-  (local.set $2
+  (local.set $local_exnref
    (global.get $global$3)
   )
-  (local.set $2
+  (local.set $local_exnref
    (ref.null exn)
   )
-  (local.set $3
-   (local.get $3)
+  (local.set $local_anyref
+   (local.get $local_anyref)
   )
-  (local.set $3
+  (local.set $local_anyref
    (global.get $global$4)
   )
-  (local.set $3
+  (local.set $local_anyref
    (ref.null any)
   )
-  (local.set $3
-   (local.get $1)
+  (local.set $local_anyref
+   (local.get $local_funcref)
   )
-  (local.set $3
+  (local.set $local_anyref
    (global.get $global$0)
   )
-  (local.set $3
+  (local.set $local_anyref
    (ref.null extern)
   )
-  (local.set $3
-   (local.get $0)
+  (local.set $local_anyref
+   (local.get $local_externref)
   )
-  (local.set $3
+  (local.set $local_anyref
    (global.get $global$1)
   )
-  (local.set $3
+  (local.set $local_anyref
    (ref.null func)
   )
-  (local.set $3
+  (local.set $local_anyref
    (ref.func $foo)
   )
-  (local.set $3
-   (local.get $2)
+  (local.set $local_anyref
+   (local.get $local_exnref)
   )
-  (local.set $3
+  (local.set $local_anyref
    (global.get $global$3)
   )
-  (local.set $3
+  (local.set $local_anyref
    (ref.null exn)
   )
   (global.set $global$0
    (global.get $global$0)
   )
   (global.set $global$0
-   (local.get $1)
+   (local.get $local_funcref)
   )
   (global.set $global$0
    (ref.null extern)
@@ -126,7 +126,7 @@
    (global.get $global$1)
   )
   (global.set $global$1
-   (local.get $0)
+   (local.get $local_externref)
   )
   (global.set $global$1
    (ref.null func)
@@ -138,7 +138,7 @@
    (global.get $global$3)
   )
   (global.set $global$3
-   (local.get $2)
+   (local.get $local_exnref)
   )
   (global.set $global$3
    (ref.null exn)
@@ -147,7 +147,7 @@
    (global.get $global$4)
   )
   (global.set $global$4
-   (local.get $3)
+   (local.get $local_anyref)
   )
   (global.set $global$4
    (ref.null any)
@@ -156,7 +156,7 @@
    (global.get $global$0)
   )
   (global.set $global$4
-   (local.get $1)
+   (local.get $local_funcref)
   )
   (global.set $global$4
    (ref.null extern)
@@ -165,7 +165,7 @@
    (global.get $global$1)
   )
   (global.set $global$4
-   (local.get $0)
+   (local.get $local_externref)
   )
   (global.set $global$4
    (ref.null func)
@@ -177,13 +177,13 @@
    (global.get $global$3)
   )
   (global.set $global$4
-   (local.get $2)
+   (local.get $local_exnref)
   )
   (global.set $global$4
    (ref.null exn)
   )
   (call $take_externref
-   (local.get $1)
+   (local.get $local_funcref)
   )
   (call $take_externref
    (global.get $global$0)
@@ -192,7 +192,7 @@
    (ref.null extern)
   )
   (call $take_funcref
-   (local.get $0)
+   (local.get $local_externref)
   )
   (call $take_funcref
    (global.get $global$1)
@@ -204,7 +204,7 @@
    (ref.func $foo)
   )
   (call $take_exnref
-   (local.get $2)
+   (local.get $local_exnref)
   )
   (call $take_exnref
    (global.get $global$3)
@@ -213,7 +213,7 @@
    (ref.null exn)
   )
   (call $take_anyref
-   (local.get $3)
+   (local.get $local_anyref)
   )
   (call $take_anyref
    (global.get $global$4)
@@ -222,7 +222,7 @@
    (ref.null any)
   )
   (call $take_anyref
-   (local.get $1)
+   (local.get $local_funcref)
   )
   (call $take_anyref
    (global.get $global$0)
@@ -231,7 +231,7 @@
    (ref.null extern)
   )
   (call $take_anyref
-   (local.get $0)
+   (local.get $local_externref)
   )
   (call $take_anyref
    (global.get $global$1)
@@ -243,7 +243,7 @@
    (ref.func $foo)
   )
   (call $take_anyref
-   (local.get $2)
+   (local.get $local_exnref)
   )
   (call $take_anyref
    (global.get $global$3)
@@ -252,7 +252,7 @@
    (ref.null exn)
   )
   (call_indirect (type $externref_=>_none)
-   (local.get $1)
+   (local.get $local_funcref)
    (i32.const 0)
   )
   (call_indirect (type $externref_=>_none)
@@ -264,7 +264,7 @@
    (i32.const 0)
   )
   (call_indirect (type $funcref_=>_none)
-   (local.get $0)
+   (local.get $local_externref)
    (i32.const 1)
   )
   (call_indirect (type $funcref_=>_none)
@@ -280,7 +280,7 @@
    (i32.const 1)
   )
   (call_indirect (type $exnref_=>_none)
-   (local.get $2)
+   (local.get $local_exnref)
    (i32.const 2)
   )
   (call_indirect (type $exnref_=>_none)
@@ -292,7 +292,7 @@
    (i32.const 2)
   )
   (call_indirect (type $anyref_=>_none)
-   (local.get $3)
+   (local.get $local_anyref)
    (i32.const 3)
   )
   (call_indirect (type $anyref_=>_none)
@@ -304,7 +304,7 @@
    (i32.const 3)
   )
   (call_indirect (type $anyref_=>_none)
-   (local.get $1)
+   (local.get $local_funcref)
    (i32.const 3)
   )
   (call_indirect (type $anyref_=>_none)
@@ -316,7 +316,7 @@
    (i32.const 3)
   )
   (call_indirect (type $anyref_=>_none)
-   (local.get $0)
+   (local.get $local_externref)
    (i32.const 3)
   )
   (call_indirect (type $anyref_=>_none)
@@ -332,7 +332,7 @@
    (i32.const 3)
   )
   (call_indirect (type $anyref_=>_none)
-   (local.get $2)
+   (local.get $local_exnref)
    (i32.const 3)
   )
   (call_indirect (type $anyref_=>_none)
@@ -346,7 +346,7 @@
   (drop
    (block $label$1 (result externref)
     (br_if $label$1
-     (local.get $1)
+     (local.get $local_funcref)
      (i32.const 1)
     )
    )
@@ -370,7 +370,7 @@
   (drop
    (block $label$4 (result funcref)
     (br_if $label$4
-     (local.get $0)
+     (local.get $local_externref)
      (i32.const 1)
     )
    )
@@ -402,7 +402,7 @@
   (drop
    (block $label$8 (result exnref)
     (br_if $label$8
-     (local.get $2)
+     (local.get $local_exnref)
      (i32.const 1)
     )
    )
@@ -426,7 +426,7 @@
   (drop
    (block $label$11 (result anyref)
     (br_if $label$11
-     (local.get $3)
+     (local.get $local_anyref)
      (i32.const 1)
     )
    )
@@ -450,7 +450,7 @@
   (drop
    (block $label$14 (result anyref)
     (br_if $label$14
-     (local.get $1)
+     (local.get $local_funcref)
      (i32.const 1)
     )
    )
@@ -458,7 +458,7 @@
   (drop
    (block $label$15 (result anyref)
     (br_if $label$15
-     (local.get $0)
+     (local.get $local_externref)
      (i32.const 1)
     )
    )
@@ -466,7 +466,7 @@
   (drop
    (block $label$16 (result anyref)
     (br_if $label$16
-     (local.get $2)
+     (local.get $local_exnref)
      (i32.const 1)
     )
    )
@@ -505,7 +505,7 @@
   )
   (drop
    (loop $label$21 (result externref)
-    (local.get $1)
+    (local.get $local_funcref)
    )
   )
   (drop
@@ -520,7 +520,7 @@
   )
   (drop
    (loop $label$24 (result funcref)
-    (local.get $0)
+    (local.get $local_externref)
    )
   )
   (drop
@@ -540,7 +540,7 @@
   )
   (drop
    (loop $label$28 (result exnref)
-    (local.get $2)
+    (local.get $local_exnref)
    )
   )
   (drop
@@ -555,7 +555,7 @@
   )
   (drop
    (loop $label$31 (result anyref)
-    (local.get $3)
+    (local.get $local_anyref)
    )
   )
   (drop
@@ -570,7 +570,7 @@
   )
   (drop
    (loop $label$34 (result anyref)
-    (local.get $1)
+    (local.get $local_funcref)
    )
   )
   (drop
@@ -585,7 +585,7 @@
   )
   (drop
    (loop $label$37 (result anyref)
-    (local.get $0)
+    (local.get $local_externref)
    )
   )
   (drop
@@ -605,7 +605,7 @@
   )
   (drop
    (loop $label$41 (result anyref)
-    (local.get $2)
+    (local.get $local_exnref)
    )
   )
   (drop
@@ -621,50 +621,50 @@
   (drop
    (if (result externref)
     (i32.const 1)
-    (local.get $1)
+    (local.get $local_funcref)
     (ref.null extern)
    )
   )
   (drop
    (if (result funcref)
     (i32.const 1)
-    (local.get $0)
+    (local.get $local_externref)
     (ref.null func)
    )
   )
   (drop
    (if (result exnref)
     (i32.const 1)
-    (local.get $2)
+    (local.get $local_exnref)
     (ref.null exn)
    )
   )
   (drop
    (if (result anyref)
     (i32.const 1)
-    (local.get $3)
+    (local.get $local_anyref)
     (ref.null any)
    )
   )
   (drop
    (if (result anyref)
     (i32.const 1)
-    (local.get $1)
-    (local.get $0)
+    (local.get $local_funcref)
+    (local.get $local_externref)
    )
   )
   (drop
    (if (result anyref)
     (i32.const 1)
-    (local.get $1)
-    (local.get $2)
+    (local.get $local_funcref)
+    (local.get $local_exnref)
    )
   )
   (drop
    (if (result anyref)
     (i32.const 1)
-    (local.get $0)
-    (local.get $2)
+    (local.get $local_externref)
+    (local.get $local_exnref)
    )
   )
   (drop
@@ -698,7 +698,7 @@
   (drop
    (try (result externref)
     (do
-     (local.get $1)
+     (local.get $local_funcref)
     )
     (catch
      (drop
@@ -734,7 +734,7 @@
   (drop
    (try (result anyref)
     (do
-     (local.get $1)
+     (local.get $local_funcref)
     )
     (catch
      (drop
@@ -747,7 +747,7 @@
   (drop
    (try (result anyref)
     (do
-     (local.get $1)
+     (local.get $local_funcref)
     )
     (catch
      (pop exnref)
@@ -763,7 +763,7 @@
      (drop
       (pop exnref)
      )
-     (local.get $1)
+     (local.get $local_funcref)
     )
    )
   )
@@ -786,7 +786,7 @@
      (drop
       (pop exnref)
      )
-     (local.get $1)
+     (local.get $local_funcref)
     )
    )
   )
@@ -805,21 +805,21 @@
   )
   (drop
    (select (result externref)
-    (local.get $1)
+    (local.get $local_funcref)
     (ref.null extern)
     (i32.const 1)
    )
   )
   (drop
    (select (result funcref)
-    (local.get $0)
+    (local.get $local_externref)
     (ref.null func)
     (i32.const 1)
    )
   )
   (drop
    (select (result exnref)
-    (local.get $2)
+    (local.get $local_exnref)
     (ref.null exn)
     (i32.const 1)
    )
@@ -833,49 +833,49 @@
   )
   (drop
    (select (result anyref)
-    (local.get $1)
-    (local.get $0)
+    (local.get $local_funcref)
+    (local.get $local_externref)
     (i32.const 1)
    )
   )
   (drop
    (select (result anyref)
-    (local.get $1)
-    (local.get $2)
+    (local.get $local_funcref)
+    (local.get $local_exnref)
     (i32.const 1)
    )
   )
   (drop
    (select (result anyref)
-    (local.get $0)
-    (local.get $1)
+    (local.get $local_externref)
+    (local.get $local_funcref)
     (i32.const 1)
    )
   )
   (drop
    (select (result anyref)
-    (local.get $0)
-    (local.get $2)
+    (local.get $local_externref)
+    (local.get $local_exnref)
     (i32.const 1)
    )
   )
   (drop
    (select (result anyref)
-    (local.get $2)
-    (local.get $1)
+    (local.get $local_exnref)
+    (local.get $local_funcref)
     (i32.const 1)
    )
   )
   (drop
    (select (result anyref)
-    (local.get $2)
-    (local.get $0)
+    (local.get $local_exnref)
+    (local.get $local_externref)
     (i32.const 1)
    )
   )
   (drop
    (ref.is_null
-    (local.get $1)
+    (local.get $local_funcref)
    )
   )
   (drop
@@ -890,7 +890,7 @@
   )
   (drop
    (ref.is_null
-    (local.get $0)
+    (local.get $local_externref)
    )
   )
   (drop
@@ -910,7 +910,7 @@
   )
   (drop
    (ref.is_null
-    (local.get $2)
+    (local.get $local_exnref)
    )
   )
   (drop
@@ -925,7 +925,7 @@
   )
   (drop
    (ref.is_null
-    (local.get $3)
+    (local.get $local_anyref)
    )
   )
   (drop
@@ -940,8 +940,8 @@
   )
  )
  (func $return_externref_local (result externref)
-  (local $0 externref)
-  (local.get $0)
+  (local $local_externref externref)
+  (local.get $local_externref)
  )
  (func $return_externref_global (result externref)
   (global.get $global$0)
@@ -950,8 +950,8 @@
   (ref.null extern)
  )
  (func $return_funcref_local (result funcref)
-  (local $0 funcref)
-  (local.get $0)
+  (local $local_funcref funcref)
+  (local.get $local_funcref)
  )
  (func $return_funcref_global (result funcref)
   (global.get $global$1)
@@ -963,8 +963,8 @@
   (ref.func $foo)
  )
  (func $return_exnref_local (result exnref)
-  (local $0 exnref)
-  (local.get $0)
+  (local $local_exnref exnref)
+  (local.get $local_exnref)
  )
  (func $return_exnref_global (result exnref)
   (global.get $global$3)
@@ -973,8 +973,8 @@
   (ref.null exn)
  )
  (func $return_anyref_local (result anyref)
-  (local $0 anyref)
-  (local.get $0)
+  (local $local_anyref anyref)
+  (local.get $local_anyref)
  )
  (func $return_anyref_global (result anyref)
   (global.get $global$4)
@@ -983,8 +983,8 @@
   (ref.null any)
  )
  (func $return_anyref2 (result anyref)
-  (local $0 externref)
-  (local.get $0)
+  (local $local_externref externref)
+  (local.get $local_externref)
  )
  (func $return_anyref3 (result anyref)
   (global.get $global$0)
@@ -993,8 +993,8 @@
   (ref.null extern)
  )
  (func $return_anyref5 (result anyref)
-  (local $0 funcref)
-  (local.get $0)
+  (local $local_funcref funcref)
+  (local.get $local_funcref)
  )
  (func $return_anyref6 (result anyref)
   (global.get $global$1)
@@ -1006,8 +1006,8 @@
   (ref.func $foo)
  )
  (func $return_anyref9 (result anyref)
-  (local $0 exnref)
-  (local.get $0)
+  (local $local_exnref exnref)
+  (local.get $local_exnref)
  )
  (func $return_anyref10 (result anyref)
   (global.get $global$3)
@@ -1016,35 +1016,35 @@
   (ref.null exn)
  )
  (func $returns_externref (result externref)
-  (local $0 externref)
+  (local $local_externref externref)
   (return
-   (local.get $0)
+   (local.get $local_externref)
   )
  )
  (func $returns_funcref (result funcref)
-  (local $0 funcref)
+  (local $local_funcref funcref)
   (return
-   (local.get $0)
+   (local.get $local_funcref)
   )
  )
  (func $returns_exnref (result exnref)
-  (local $0 exnref)
+  (local $local_exnref exnref)
   (return
-   (local.get $0)
+   (local.get $local_exnref)
   )
  )
  (func $returns_anyref (result anyref)
-  (local $0 anyref)
+  (local $local_anyref anyref)
   (return
-   (local.get $0)
+   (local.get $local_anyref)
   )
  )
  (func $returns_anyref2 (result anyref)
-  (local $0 funcref)
-  (local $1 externref)
-  (local $2 exnref)
+  (local $local_externref funcref)
+  (local $local_funcref externref)
+  (local $local_exnref exnref)
   (return
-   (local.get $1)
+   (local.get $local_funcref)
   )
  )
 )