fix switch default in binary format #123

3 files changed, 35 insertions, 30 deletions

diff --git a/src/wasm-binary.h b/src/wasm-binary.h
index e7b96a49a..358abe25f 100644
--- a/src/wasm-binary.h
+++ b/src/wasm-binary.h
@@ -616,14 +616,18 @@ public:
   void visitSwitch(Switch *curr) {
     if (debug) std::cerr << "zz node: Switch" << std::endl;
     o << int8_t(BinaryConsts::TableSwitch) << int16_t(curr->cases.size())
-                                           << int16_t(curr->targets.size());
+                                           << int16_t(curr->targets.size() + 1);
     std::map<Name, int16_t> mapping; // target name => index in cases
     for (size_t i = 0; i < curr->cases.size(); i++) {
       mapping[curr->cases[i].name] = i;
     }
+    if (mapping.find(curr->default_) == mapping.end()) {
+      mapping[curr->default_] = curr->cases.size();
+    }
     for (auto target : curr->targets) {
       o << mapping[target];
     }
+    o << mapping[curr->default_];
     breakStack.push_back(curr->name);
     recurse(curr->value);
     for (auto& c : curr->cases) {
@@ -1285,9 +1289,10 @@ public:
       }
       return caseLabels[index];
     };
-    for (auto i = 0; i < numTargets; i++) {
+    for (auto i = 0; i < numTargets - 1; i++) {
       curr->targets.push_back(getCaseLabel(getInt16()));
     }
+    curr->default_ = getCaseLabel(getInt16());
     curr->name = getNextLabel();
     breakStack.push_back(curr->name);
     readExpression(curr->value);
diff --git a/test/emcc_hello_world.wast.fromBinary b/test/emcc_hello_world.wast.fromBinary
index 9f41203c8..8f4d54c48 100644
--- a/test/emcc_hello_world.wast.fromBinary
+++ b/test/emcc_hello_world.wast.fromBinary
@@ -442,7 +442,7 @@
           (get_local $var$0)
           (i32.const 0)
         )
-        (table (case $label$1) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$3))
+        (table (case $label$1) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$2) (case $label$3)) (case $label$2)
         (case $label$1
           (block $label$5
             (set_local $var$3
@@ -10787,7 +10787,7 @@
                   )
                   (i32.const 0)
                 )
-                (table (case $label$13) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$15))
+                (table (case $label$13) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$14) (case $label$15)) (case $label$14)
                 (case $label$15
                   (block $label$17
                     (set_local $var$136
@@ -12670,7 +12670,7 @@
                 (get_local $var$107)
                 (i32.const 65)
               )
-              (table (case $label$89) (case $label$90) (case $label$91) (case $label$90) (case $label$92) (case $label$93) (case $label$94) (case $label$90) (case $label$90) (case $label$90) (case $label$90) (case $label$90) (case $label$90) (case $label$90) (case $label$90) (case $label$90) (case $label$90) (case $label$90) (case $label$95) (case $label$90) (case $label$90) (case $label$90) (case $label$90) (case $label$96) (case $label$90) (case $label$90) (case $label$90) (case $label$90) (case $label$90) (case $label$90) (case $label$90) (case $label$90) (case $label$97) (case $label$90) (case $label$98) (case $label$99) (case $label$100) (case $label$101) (case $label$102) (case $label$90) (case $label$103) (case $label$90) (case $label$90) (case $label$90) (case $label$104) (case $label$105) (case $label$106) (case $label$107) (case $label$90) (case $label$90) (case $label$108) (case $label$90) (case $label$109) (case $label$90) (case $label$90) (case $label$110))
+              (table (case $label$89) (case $label$90) (case $label$91) (case $label$90) (case $label$92) (case $label$93) (case $label$94) (case $label$90) (case $label$90) (case $label$90) (case $label$90) (case $label$90) (case $label$90) (case $label$90) (case $label$90) (case $label$90) (case $label$90) (case $label$90) (case $label$95) (case $label$90) (case $label$90) (case $label$90) (case $label$90) (case $label$96) (case $label$90) (case $label$90) (case $label$90) (case $label$90) (case $label$90) (case $label$90) (case $label$90) (case $label$90) (case $label$97) (case $label$90) (case $label$98) (case $label$99) (case $label$100) (case $label$101) (case $label$102) (case $label$90) (case $label$103) (case $label$90) (case $label$90) (case $label$90) (case $label$104) (case $label$105) (case $label$106) (case $label$107) (case $label$90) (case $label$90) (case $label$108) (case $label$90) (case $label$109) (case $label$90) (case $label$90) (case $label$110)) (case $label$90)
               (case $label$105
                 (block $label$112
                   (tableswitch $label$121
@@ -12678,7 +12678,7 @@
                       (get_local $var$14)
                       (i32.const 0)
                     )
-                    (table (case $label$113) (case $label$114) (case $label$115) (case $label$116) (case $label$117) (case $label$118) (case $label$119) (case $label$120))
+                    (table (case $label$113) (case $label$114) (case $label$115) (case $label$116) (case $label$117) (case $label$118) (case $label$119) (case $label$120)) (case $label$118)
                     (case $label$113
                       (block $label$122
                         (set_local $var$19
@@ -21271,14 +21271,14 @@
             (get_local $var$13)
             (i32.const 0)
           )
-          (tableswitch $label$12
+          (tableswitch $label$13
             (i32.sub
               (get_local $var$104)
               (i32.const 9)
             )
-            (table (case $label$2) (case $label$3) (case $label$4) (case $label$5) (case $label$6) (case $label$7) (case $label$8) (case $label$9) (case $label$10) (case $label$11))
+            (table (case $label$2) (case $label$3) (case $label$4) (case $label$5) (case $label$6) (case $label$7) (case $label$8) (case $label$9) (case $label$10) (case $label$11)) (case $label$12)
             (case $label$2
-              (block $label$13
+              (block $label$14
                 (set_local $var$42
                   (i32.load align=4
                     (get_local $var$105)
@@ -21358,11 +21358,11 @@
                   (get_local $var$27)
                 )
                 (br $label$1)
-                (br $label$12)
+                (br $label$13)
               )
             )
             (case $label$3
-              (block $label$14
+              (block $label$15
                 (set_local $var$46
                   (i32.load align=4
                     (get_local $var$105)
@@ -21476,11 +21476,11 @@
                   (get_local $var$4)
                 )
                 (br $label$1)
-                (br $label$12)
+                (br $label$13)
               )
             )
             (case $label$4
-              (block $label$15
+              (block $label$16
                 (set_local $var$1
                   (i32.load align=4
                     (get_local $var$105)
@@ -21579,11 +21579,11 @@
                   (i32.const 0)
                 )
                 (br $label$1)
-                (br $label$12)
+                (br $label$13)
               )
             )
             (case $label$5
-              (block $label$16
+              (block $label$17
                 (set_local $var$2
                   (i32.load align=4
                     (get_local $var$105)
@@ -21702,11 +21702,11 @@
                   (get_local $var$8)
                 )
                 (br $label$1)
-                (br $label$12)
+                (br $label$13)
               )
             )
             (case $label$6
-              (block $label$17
+              (block $label$18
                 (set_local $var$43
                   (i32.load align=4
                     (get_local $var$105)
@@ -21835,11 +21835,11 @@
                   (get_local $var$23)
                 )
                 (br $label$1)
-                (br $label$12)
+                (br $label$13)
               )
             )
             (case $label$7
-              (block $label$18
+              (block $label$19
                 (set_local $var$44
                   (i32.load align=4
                     (get_local $var$105)
@@ -21944,11 +21944,11 @@
                   (i32.const 0)
                 )
                 (br $label$1)
-                (br $label$12)
+                (br $label$13)
               )
             )
             (case $label$8
-              (block $label$19
+              (block $label$20
                 (set_local $var$45
                   (i32.load align=4
                     (get_local $var$105)
@@ -22077,11 +22077,11 @@
                   (get_local $var$22)
                 )
                 (br $label$1)
-                (br $label$12)
+                (br $label$13)
               )
             )
             (case $label$9
-              (block $label$20
+              (block $label$21
                 (set_local $var$47
                   (i32.load align=4
                     (get_local $var$105)
@@ -22186,11 +22186,11 @@
                   (i32.const 0)
                 )
                 (br $label$1)
-                (br $label$12)
+                (br $label$13)
               )
             )
             (case $label$10
-              (block $label$21
+              (block $label$22
                 (set_local $var$48
                   (i32.load align=4
                     (get_local $var$105)
@@ -22270,11 +22270,11 @@
                   (get_local $var$238)
                 )
                 (br $label$1)
-                (br $label$12)
+                (br $label$13)
               )
             )
             (case $label$11
-              (block $label$22
+              (block $label$23
                 (set_local $var$0
                   (i32.load align=4
                     (get_local $var$105)
@@ -22354,10 +22354,10 @@
                   (get_local $var$239)
                 )
                 (br $label$1)
-                (br $label$12)
+                (br $label$13)
               )
             )
-            (case $label$23
+            (case $label$12
               (br $label$1)
             )
           )
diff --git a/test/min.wast.fromBinary b/test/min.wast.fromBinary
index 5473c2474..d4f9dc60e 100644
--- a/test/min.wast.fromBinary
+++ b/test/min.wast.fromBinary
@@ -35,7 +35,7 @@
           (get_local $var$0)
           (i32.const 1)
         )
-        (table (case $label$1) (case $label$2))
+        (table (case $label$1) (case $label$2)) (case $label$1)
         (case $label$1
           (br $label$0
             (i32.const 1)