Merge pull request #153 from WebAssembly/binary-spec-tests

Binary spec tests

10 files changed, 460 insertions, 460 deletions

diff --git a/test/emcc_O2_hello_world.wast.fromBinary b/test/emcc_O2_hello_world.wast.fromBinary
index 0039fa2d1..d69d6e577 100644
--- a/test/emcc_O2_hello_world.wast.fromBinary
+++ b/test/emcc_O2_hello_world.wast.fromBinary
@@ -42,7 +42,7 @@
   (export "_main" $_main)
   (export "stackSave" $stackSave)
   (table $b0 $___stdio_close $b1 $b1 $___stdout_write $___stdio_seek $b1 $___stdio_write $b1 $b1 $b2 $b2 $b2 $b2 $_cleanup_418 $b2 $b2 $b2)
-  (func $_malloc (param $var$0 i32) (result i32)
+  (func $_malloc (type $1) (param $var$0 i32) (result i32)
     (local $var$1 i32)
     (local $var$2 i32)
     (local $var$3 i32)
@@ -160,7 +160,7 @@
                     (get_local $var$0)
                     (i32.const 11)
                   )
-                  (i32.const 248)
+                  (i32.const -8)
                 )
               )
             )
@@ -291,7 +291,7 @@
                             (i32.const 1)
                             (get_local $var$5)
                           )
-                          (i32.const 255)
+                          (i32.const -1)
                         )
                       )
                     )
@@ -389,7 +389,7 @@
                             (get_local $var$6)
                           )
                         )
-                        (i32.const 255)
+                        (i32.const -1)
                       )
                     )
                     (set_local $var$6
@@ -580,7 +580,7 @@
                                   (i32.const 1)
                                   (get_local $var$16)
                                 )
-                                (i32.const 255)
+                                (i32.const -1)
                               )
                             )
                           )
@@ -789,7 +789,7 @@
                             (get_local $var$3)
                           )
                         )
-                        (i32.const 255)
+                        (i32.const -1)
                       )
                     )
                     (set_local $var$3
@@ -899,7 +899,7 @@
                               (i32.const 4)
                             )
                           )
-                          (i32.const 248)
+                          (i32.const -8)
                         )
                         (get_local $var$1)
                       )
@@ -966,7 +966,7 @@
                                   (i32.const 4)
                                 )
                               )
-                              (i32.const 248)
+                              (i32.const -8)
                             )
                             (get_local $var$1)
                           )
@@ -1326,7 +1326,7 @@
                                           (i32.const 1)
                                           (get_local $var$11)
                                         )
-                                        (i32.const 255)
+                                        (i32.const -1)
                                       )
                                     )
                                   )
@@ -1735,7 +1735,7 @@
                 (get_local $var$0)
                 (i32.const 0)
               )
-              (i32.const 191)
+              (i32.const -65)
             )
             (block $label$52
               (set_local $var$6
@@ -1747,7 +1747,7 @@
               (set_local $var$4
                 (i32.and
                   (get_local $var$6)
-                  (i32.const 248)
+                  (i32.const -8)
                 )
               )
               (set_local $var$14
@@ -1950,7 +1950,7 @@
                                     (i32.const 4)
                                   )
                                 )
-                                (i32.const 248)
+                                (i32.const -8)
                               )
                             )
                             (set_local $var$8
@@ -2159,7 +2159,7 @@
                                   (get_local $var$13)
                                 )
                               )
-                              (i32.const 255)
+                              (i32.const -1)
                             )
                           )
                           (set_local $var$13
@@ -2314,7 +2314,7 @@
                                   (i32.const 4)
                                 )
                               )
-                              (i32.const 248)
+                              (i32.const -8)
                             )
                             (get_local $var$4)
                           )
@@ -2756,7 +2756,7 @@
                                             (i32.const 1)
                                             (get_local $var$6)
                                           )
-                                          (i32.const 255)
+                                          (i32.const -1)
                                         )
                                       )
                                     )
@@ -3327,7 +3327,7 @@
                                           (i32.const 4)
                                         )
                                       )
-                                      (i32.const 248)
+                                      (i32.const -8)
                                     )
                                     (get_local $var$42)
                                   )
@@ -3586,7 +3586,7 @@
               )
             )
             (set_local $var$30
-              (i32.const 255)
+              (i32.const -1)
             )
           )
         )
@@ -3812,7 +3812,7 @@
                 (i32.and
                   (i32.add
                     (get_local $var$52)
-                    (i32.const 255)
+                    (i32.const -1)
                   )
                   (get_local $var$52)
                 )
@@ -3829,11 +3829,11 @@
                 )
                 (i32.store align=4
                   (i32.const 660)
-                  (i32.const 255)
+                  (i32.const -1)
                 )
                 (i32.store align=4
                   (i32.const 664)
-                  (i32.const 255)
+                  (i32.const -1)
                 )
                 (i32.store align=4
                   (i32.const 668)
@@ -3850,7 +3850,7 @@
                       (call_import $_time
                         (i32.const 0)
                       )
-                      (i32.const 240)
+                      (i32.const -16)
                     )
                     (i32.const 1431655768)
                   )
@@ -4117,7 +4117,7 @@
                         (if
                           (i32.ne
                             (get_local $var$44)
-                            (i32.const 255)
+                            (i32.const -1)
                           )
                           (block $label$141
                             (set_local $var$57
@@ -4167,7 +4167,7 @@
                     )
                     (i32.ne
                       (get_local $var$51)
-                      (i32.const 255)
+                      (i32.const -1)
                     )
                   )
                   (i32.const 0)
@@ -4184,7 +4184,7 @@
                   (set_local $var$44
                     (i32.add
                       (get_local $var$49)
-                      (i32.const 255)
+                      (i32.const -1)
                     )
                   )
                   (if_else
@@ -4362,7 +4362,7 @@
                             )
                             (i32.ne
                               (get_local $var$59)
-                              (i32.const 255)
+                              (i32.const -1)
                             )
                           )
                         )
@@ -4404,7 +4404,7 @@
                           (call_import $_sbrk
                             (get_local $var$4)
                           )
-                          (i32.const 255)
+                          (i32.const -1)
                         )
                         (block $label$154
                           (call_import $_sbrk
@@ -4430,7 +4430,7 @@
                   (if
                     (i32.ne
                       (get_local $var$59)
-                      (i32.const 255)
+                      (i32.const -1)
                     )
                     (block $label$156
                       (set_local $var$57
@@ -4509,11 +4509,11 @@
                   (i32.and
                     (i32.ne
                       (get_local $var$62)
-                      (i32.const 255)
+                      (i32.const -1)
                     )
                     (i32.ne
                       (get_local $var$42)
-                      (i32.const 255)
+                      (i32.const -1)
                     )
                   )
                 )
@@ -5071,7 +5071,7 @@
                                 (set_local $var$56
                                   (i32.and
                                     (get_local $var$61)
-                                    (i32.const 248)
+                                    (i32.const -8)
                                   )
                                 )
                                 (set_local $var$55
@@ -5427,7 +5427,7 @@
                                                     (i32.const 1)
                                                     (get_local $var$54)
                                                   )
-                                                  (i32.const 255)
+                                                  (i32.const -1)
                                                 )
                                               )
                                             )
@@ -5636,7 +5636,7 @@
                                                   (i32.const 1)
                                                   (get_local $var$55)
                                                 )
-                                                (i32.const 255)
+                                                (i32.const -1)
                                               )
                                             )
                                           )
@@ -5741,7 +5741,7 @@
                                 (i32.load align=4
                                   (get_local $var$55)
                                 )
-                                (i32.const 254)
+                                (i32.const -2)
                               )
                             )
                             (i32.store align=4
@@ -6137,7 +6137,7 @@
                                           (i32.const 4)
                                         )
                                       )
-                                      (i32.const 248)
+                                      (i32.const -8)
                                     )
                                     (get_local $var$78)
                                   )
@@ -6447,7 +6447,7 @@
                 (set_local $var$43
                   (i32.add
                     (get_local $var$85)
-                    (i32.const 209)
+                    (i32.const -47)
                   )
                 )
                 (set_local $var$52
@@ -6541,7 +6541,7 @@
                   (i32.sub
                     (i32.add
                       (get_local $var$58)
-                      (i32.const 216)
+                      (i32.const -40)
                     )
                     (get_local $var$60)
                   )
@@ -6693,7 +6693,7 @@
                         (i32.load align=4
                           (get_local $var$49)
                         )
-                        (i32.const 254)
+                        (i32.const -2)
                       )
                     )
                     (i32.store align=4
@@ -7066,7 +7066,7 @@
                                   (i32.const 4)
                                 )
                               )
-                              (i32.const 248)
+                              (i32.const -8)
                             )
                             (get_local $var$62)
                           )
@@ -7316,7 +7316,7 @@
                 )
                 (i32.store align=4
                   (i32.const 208)
-                  (i32.const 255)
+                  (i32.const -1)
                 )
                 (set_local $var$4
                   (i32.const 0)
@@ -7399,7 +7399,7 @@
                   (i32.sub
                     (i32.add
                       (get_local $var$58)
-                      (i32.const 216)
+                      (i32.const -40)
                     )
                     (get_local $var$61)
                   )
@@ -7526,7 +7526,7 @@
       (get_local $var$12)
     )
   )
-  (func $_free (param $var$0 i32)
+  (func $_free (type $2) (param $var$0 i32)
     (local $var$1 i32)
     (local $var$2 i32)
     (local $var$3 i32)
@@ -7574,7 +7574,7 @@
       (set_local $var$1
         (i32.add
           (get_local $var$0)
-          (i32.const 248)
+          (i32.const -8)
         )
       )
       (set_local $var$2
@@ -7599,7 +7599,7 @@
         (i32.load align=4
           (i32.add
             (get_local $var$0)
-            (i32.const 252)
+            (i32.const -4)
           )
         )
       )
@@ -7619,7 +7619,7 @@
       (set_local $var$4
         (i32.and
           (get_local $var$3)
-          (i32.const 248)
+          (i32.const -8)
         )
       )
       (set_local $var$5
@@ -7723,7 +7723,7 @@
                   (get_local $var$9)
                   (i32.and
                     (get_local $var$10)
-                    (i32.const 254)
+                    (i32.const -2)
                   )
                 )
                 (i32.store align=4
@@ -7839,7 +7839,7 @@
                             (i32.const 1)
                             (get_local $var$10)
                           )
-                          (i32.const 255)
+                          (i32.const -1)
                         )
                       )
                     )
@@ -8202,7 +8202,7 @@
                                 (i32.const 1)
                                 (get_local $var$9)
                               )
-                              (i32.const 255)
+                              (i32.const -1)
                             )
                           )
                         )
@@ -8568,7 +8568,7 @@
             (i32.add
               (i32.and
                 (get_local $var$1)
-                (i32.const 248)
+                (i32.const -8)
               )
               (get_local $var$12)
             )
@@ -8878,7 +8878,7 @@
                                     (i32.const 1)
                                     (get_local $var$21)
                                   )
-                                  (i32.const 255)
+                                  (i32.const -1)
                                 )
                               )
                             )
@@ -9134,7 +9134,7 @@
                             (i32.const 1)
                             (get_local $var$2)
                           )
-                          (i32.const 255)
+                          (i32.const -1)
                         )
                       )
                     )
@@ -9243,7 +9243,7 @@
             (get_local $var$4)
             (i32.and
               (get_local $var$1)
-              (i32.const 254)
+              (i32.const -2)
             )
           )
           (i32.store align=4
@@ -9590,7 +9590,7 @@
                           (i32.const 4)
                         )
                       )
-                      (i32.const 248)
+                      (i32.const -8)
                     )
                     (get_local $var$28)
                   )
@@ -9831,7 +9831,7 @@
           (i32.load align=4
             (i32.const 208)
           )
-          (i32.const 255)
+          (i32.const -1)
         )
       )
       (i32.store align=4
@@ -9873,12 +9873,12 @@
       )
       (i32.store align=4
         (i32.const 208)
-        (i32.const 255)
+        (i32.const -1)
       )
       (br $label$0)
     )
   )
-  (func $___stdio_write (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (result i32)
+  (func $___stdio_write (type $0) (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (result i32)
     (local $var$3 i32)
     (local $var$4 i32)
     (local $var$5 i32)
@@ -10219,7 +10219,7 @@
               (set_local $var$21
                 (i32.add
                   (get_local $var$6)
-                  (i32.const 255)
+                  (i32.const -1)
                 )
               )
             )
@@ -10356,7 +10356,7 @@
       (get_local $var$23)
     )
   )
-  (func $___fwritex (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (result i32)
+  (func $___fwritex (type $0) (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (result i32)
     (local $var$3 i32)
     (local $var$4 i32)
     (local $var$5 i32)
@@ -10483,7 +10483,7 @@
                       (i32.const 75)
                     )
                   )
-                  (i32.const 255)
+                  (i32.const -1)
                 )
                 (block $label$7
                   (set_local $var$3
@@ -10515,7 +10515,7 @@
                       (set_local $var$13
                         (i32.add
                           (get_local $var$3)
-                          (i32.const 255)
+                          (i32.const -1)
                         )
                       )
                       (if_else
@@ -10638,7 +10638,7 @@
       (get_local $var$7)
     )
   )
-  (func $_fflush (param $var$0 i32) (result i32)
+  (func $_fflush (type $1) (param $var$0 i32) (result i32)
     (local $var$1 i32)
     (local $var$2 i32)
     (local $var$3 i32)
@@ -10659,7 +10659,7 @@
                     (i32.const 76)
                   )
                 )
-                (i32.const 255)
+                (i32.const -1)
               )
               (block $label$3
                 (set_local $var$1
@@ -10750,7 +10750,7 @@
                             (i32.const 76)
                           )
                         )
-                        (i32.const 255)
+                        (i32.const -1)
                       )
                       (set_local $var$6
                         (call $___lockfile
@@ -10840,7 +10840,7 @@
       (get_local $var$1)
     )
   )
-  (func $_strlen (param $var$0 i32) (result i32)
+  (func $_strlen (type $1) (param $var$0 i32) (result i32)
     (local $var$1 i32)
     (local $var$2 i32)
     (local $var$3 i32)
@@ -11045,7 +11045,7 @@
       )
     )
   )
-  (func $___overflow (param $var$0 i32) (param $var$1 i32) (result i32)
+  (func $___overflow (type $4) (param $var$0 i32) (param $var$1 i32) (result i32)
     (local $var$2 i32)
     (local $var$3 i32)
     (local $var$4 i32)
@@ -11117,7 +11117,7 @@
             )
           )
           (set_local $var$9
-            (i32.const 255)
+            (i32.const -1)
           )
         )
         (block $label$2
@@ -11223,7 +11223,7 @@
                 )
               )
               (set_local $var$9
-                (i32.const 255)
+                (i32.const -1)
               )
             )
           )
@@ -11236,7 +11236,7 @@
       (get_local $var$9)
     )
   )
-  (func $___fflush_unlocked (param $var$0 i32) (result i32)
+  (func $___fflush_unlocked (type $1) (param $var$0 i32) (result i32)
     (local $var$1 i32)
     (local $var$2 i32)
     (local $var$3 i32)
@@ -11301,7 +11301,7 @@
           (i32.const 0)
         )
         (set_local $var$3
-          (i32.const 255)
+          (i32.const -1)
         )
         (block $label$2
           (set_local $var$4
@@ -11389,7 +11389,7 @@
       (get_local $var$3)
     )
   )
-  (func $_memcpy (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (result i32)
+  (func $_memcpy (type $0) (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (result i32)
     (local $var$3 i32)
     (block $label$0
       (if
@@ -11551,10 +11551,10 @@
       (get_local $var$3)
     )
   )
-  (func $runPostSets
+  (func $runPostSets (type $5)
     (nop)
   )
-  (func $_memset (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (result i32)
+  (func $_memset (type $0) (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (result i32)
     (local $var$3 i32)
     (local $var$4 i32)
     (local $var$5 i32)
@@ -11610,7 +11610,7 @@
               (get_local $var$3)
               (i32.xor
                 (i32.const 3)
-                (i32.const 255)
+                (i32.const -1)
               )
             )
           )
@@ -11711,7 +11711,7 @@
       )
     )
   )
-  (func $_puts (param $var$0 i32) (result i32)
+  (func $_puts (type $1) (param $var$0 i32) (result i32)
     (local $var$1 i32)
     (local $var$2 i32)
     (local $var$3 i32)
@@ -11731,7 +11731,7 @@
               (i32.const 76)
             )
           )
-          (i32.const 255)
+          (i32.const -1)
         )
         (set_local $var$2
           (call $___lockfile
@@ -11843,7 +11843,7 @@
       )
     )
   )
-  (func $___stdio_seek (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (result i32)
+  (func $___stdio_seek (type $0) (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (result i32)
     (local $var$3 i32)
     (local $var$4 i32)
     (local $var$5 i32)
@@ -11922,10 +11922,10 @@
         (block $label$1
           (i32.store align=4
             (get_local $var$5)
-            (i32.const 255)
+            (i32.const -1)
           )
           (set_local $var$6
-            (i32.const 255)
+            (i32.const -1)
           )
         )
         (set_local $var$6
@@ -11941,7 +11941,7 @@
       (get_local $var$6)
     )
   )
-  (func $___towrite (param $var$0 i32) (result i32)
+  (func $___towrite (type $1) (param $var$0 i32) (result i32)
     (local $var$1 i32)
     (local $var$2 i32)
     (local $var$3 i32)
@@ -12045,14 +12045,14 @@
             )
           )
           (set_local $var$3
-            (i32.const 255)
+            (i32.const -1)
           )
         )
       )
       (get_local $var$3)
     )
   )
-  (func $_fwrite (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (param $var$3 i32) (result i32)
+  (func $_fwrite (type $7) (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (param $var$3 i32) (result i32)
     (local $var$4 i32)
     (local $var$5 i32)
     (local $var$6 i32)
@@ -12073,7 +12073,7 @@
               (i32.const 76)
             )
           )
-          (i32.const 255)
+          (i32.const -1)
         )
         (block $label$1
           (set_local $var$5
@@ -12138,7 +12138,7 @@
       (get_local $var$8)
     )
   )
-  (func $___stdout_write (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (result i32)
+  (func $___stdout_write (type $0) (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (result i32)
     (local $var$3 i32)
     (local $var$4 i32)
     (block $label$0
@@ -12223,7 +12223,7 @@
             (get_local $var$0)
             (i32.const 75)
           )
-          (i32.const 255)
+          (i32.const -1)
         )
       )
       (set_local $var$4
@@ -12240,7 +12240,7 @@
       (get_local $var$4)
     )
   )
-  (func $copyTempDouble (param $var$0 i32)
+  (func $copyTempDouble (type $2) (param $var$0 i32)
     (block $label$0
       (i32.store8 align=1
         (i32.load align=4
@@ -12350,7 +12350,7 @@
       )
     )
   )
-  (func $___stdio_close (param $var$0 i32) (result i32)
+  (func $___stdio_close (type $1) (param $var$0 i32) (result i32)
     (local $var$1 i32)
     (local $var$2 i32)
     (block $label$0
@@ -12395,7 +12395,7 @@
       (get_local $var$0)
     )
   )
-  (func $copyTempFloat (param $var$0 i32)
+  (func $copyTempFloat (type $2) (param $var$0 i32)
     (block $label$0
       (i32.store8 align=1
         (i32.load align=4
@@ -12449,7 +12449,7 @@
       )
     )
   )
-  (func $___syscall_ret (param $var$0 i32) (result i32)
+  (func $___syscall_ret (type $1) (param $var$0 i32) (result i32)
     (local $var$1 i32)
     (block $label$0
       (if_else
@@ -12469,7 +12469,7 @@
             )
           )
           (set_local $var$1
-            (i32.const 255)
+            (i32.const -1)
           )
         )
         (set_local $var$1
@@ -12479,7 +12479,7 @@
       (get_local $var$1)
     )
   )
-  (func $dynCall_iiii (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (param $var$3 i32) (result i32)
+  (func $dynCall_iiii (type $7) (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (param $var$3 i32) (result i32)
     (call_indirect $0
       (i32.add
         (i32.and
@@ -12493,7 +12493,7 @@
       (get_local $var$3)
     )
   )
-  (func $stackAlloc (param $var$0 i32) (result i32)
+  (func $stackAlloc (type $1) (param $var$0 i32) (result i32)
     (local $var$1 i32)
     (block $label$0
       (set_local $var$1
@@ -12519,13 +12519,13 @@
             )
             (i32.const 15)
           )
-          (i32.const 240)
+          (i32.const -16)
         )
       )
       (get_local $var$1)
     )
   )
-  (func $___errno_location (result i32)
+  (func $___errno_location (type $3) (result i32)
     (local $var$0 i32)
     (block $label$0
       (if_else
@@ -12550,7 +12550,7 @@
       (get_local $var$0)
     )
   )
-  (func $setThrew (param $var$0 i32) (param $var$1 i32)
+  (func $setThrew (type $6) (param $var$0 i32) (param $var$1 i32)
     (if
       (i32.eq
         (i32.load align=4
@@ -12570,7 +12570,7 @@
       )
     )
   )
-  (func $_fputs (param $var$0 i32) (param $var$1 i32) (result i32)
+  (func $_fputs (type $4) (param $var$0 i32) (param $var$1 i32) (result i32)
     (i32.add
       (call $_fwrite
         (get_local $var$0)
@@ -12580,10 +12580,10 @@
         (i32.const 1)
         (get_local $var$1)
       )
-      (i32.const 255)
+      (i32.const -1)
     )
   )
-  (func $dynCall_ii (param $var$0 i32) (param $var$1 i32) (result i32)
+  (func $dynCall_ii (type $4) (param $var$0 i32) (param $var$1 i32) (result i32)
     (call_indirect $1
       (i32.add
         (i32.and
@@ -12595,7 +12595,7 @@
       (get_local $var$1)
     )
   )
-  (func $_cleanup_418 (param $var$0 i32)
+  (func $_cleanup_418 (type $2) (param $var$0 i32)
     (block $label$0
       (if
         (i32.eq
@@ -12614,7 +12614,7 @@
       (br $label$0)
     )
   )
-  (func $establishStackSpace (param $var$0 i32) (param $var$1 i32)
+  (func $establishStackSpace (type $6) (param $var$0 i32) (param $var$1 i32)
     (block $label$0
       (i32.store align=4
         (i32.const 8)
@@ -12626,7 +12626,7 @@
       )
     )
   )
-  (func $dynCall_vi (param $var$0 i32) (param $var$1 i32)
+  (func $dynCall_vi (type $6) (param $var$0 i32) (param $var$1 i32)
     (call_indirect $2
       (i32.add
         (i32.and
@@ -12638,7 +12638,7 @@
       (get_local $var$1)
     )
   )
-  (func $b1 (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (result i32)
+  (func $b1 (type $0) (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (result i32)
     (block $label$0
       (call_import $abort
         (i32.const 1)
@@ -12646,19 +12646,19 @@
       (i32.const 0)
     )
   )
-  (func $stackRestore (param $var$0 i32)
+  (func $stackRestore (type $2) (param $var$0 i32)
     (i32.store align=4
       (i32.const 8)
       (get_local $var$0)
     )
   )
-  (func $setTempRet0 (param $var$0 i32)
+  (func $setTempRet0 (type $2) (param $var$0 i32)
     (i32.store align=4
       (i32.const 160)
       (get_local $var$0)
     )
   )
-  (func $b0 (param $var$0 i32) (result i32)
+  (func $b0 (type $1) (param $var$0 i32) (result i32)
     (block $label$0
       (call_import $abort
         (i32.const 0)
@@ -12666,20 +12666,20 @@
       (i32.const 0)
     )
   )
-  (func $___unlockfile (param $var$0 i32)
+  (func $___unlockfile (type $2) (param $var$0 i32)
     (block $label$0
       (br $label$0)
     )
   )
-  (func $___lockfile (param $var$0 i32) (result i32)
+  (func $___lockfile (type $1) (param $var$0 i32) (result i32)
     (i32.const 0)
   )
-  (func $getTempRet0 (result i32)
+  (func $getTempRet0 (type $3) (result i32)
     (i32.load align=4
       (i32.const 160)
     )
   )
-  (func $_main (result i32)
+  (func $_main (type $3) (result i32)
     (block $label$0
       (call $_puts
         (i32.const 672)
@@ -12687,12 +12687,12 @@
       (i32.const 0)
     )
   )
-  (func $stackSave (result i32)
+  (func $stackSave (type $3) (result i32)
     (i32.load align=4
       (i32.const 8)
     )
   )
-  (func $b2 (param $var$0 i32)
+  (func $b2 (type $2) (param $var$0 i32)
     (call_import $abort
       (i32.const 2)
     )
diff --git a/test/emcc_hello_world.wast.fromBinary b/test/emcc_hello_world.wast.fromBinary
index 36012a7ac..ff26b930f 100644
--- a/test/emcc_hello_world.wast.fromBinary
+++ b/test/emcc_hello_world.wast.fromBinary
@@ -31,7 +31,7 @@
   (import $_pthread_cleanup_push "env" "_pthread_cleanup_push" (param i32 i32))
   (import $_sysconf "env" "_sysconf" (param i32) (result i32))
   (import $___syscall146 "env" "___syscall146" (param i32 i32) (result i32))
-  (import $f64-to-int "env" "f64-to-int" (param f64) (result i32))
+  (import $f64-to-int "asm2wasm" "f64-to-int" (param f64) (result i32))
   (export "stackAlloc" $stackAlloc)
   (export "stackSave" $stackSave)
   (export "stackRestore" $stackRestore)
@@ -55,7 +55,7 @@
   (export "dynCall_iiii" $dynCall_iiii)
   (export "dynCall_vi" $dynCall_vi)
   (table $b0 $___stdio_close $b1 $b1 $___stdout_write $___stdio_seek $___stdio_write $b1 $b1 $b1 $b2 $b2 $b2 $b2 $b2 $_cleanup $b2 $b2)
-  (func $stackAlloc (param $var$0 i32) (result i32)
+  (func $stackAlloc (type $1) (param $var$0 i32) (result i32)
     (local $var$1 i32)
     (block $label$0
       (set_local $var$1
@@ -81,7 +81,7 @@
             )
             (i32.const 15)
           )
-          (i32.const 240)
+          (i32.const -16)
         )
       )
       (if
@@ -98,18 +98,18 @@
       (get_local $var$1)
     )
   )
-  (func $stackSave (result i32)
+  (func $stackSave (type $4) (result i32)
     (i32.load align=4
       (i32.const 8)
     )
   )
-  (func $stackRestore (param $var$0 i32)
+  (func $stackRestore (type $2) (param $var$0 i32)
     (i32.store align=4
       (i32.const 8)
       (get_local $var$0)
     )
   )
-  (func $establishStackSpace (param $var$0 i32) (param $var$1 i32)
+  (func $establishStackSpace (type $6) (param $var$0 i32) (param $var$1 i32)
     (block $label$0
       (i32.store align=4
         (i32.const 8)
@@ -121,7 +121,7 @@
       )
     )
   )
-  (func $setThrew (param $var$0 i32) (param $var$1 i32)
+  (func $setThrew (type $6) (param $var$0 i32) (param $var$1 i32)
     (if
       (i32.eq
         (i32.load align=4
@@ -141,7 +141,7 @@
       )
     )
   )
-  (func $copyTempFloat (param $var$0 i32)
+  (func $copyTempFloat (type $2) (param $var$0 i32)
     (block $label$0
       (i32.store8 align=1
         (i32.load align=4
@@ -195,7 +195,7 @@
       )
     )
   )
-  (func $copyTempDouble (param $var$0 i32)
+  (func $copyTempDouble (type $2) (param $var$0 i32)
     (block $label$0
       (i32.store8 align=1
         (i32.load align=4
@@ -305,18 +305,18 @@
       )
     )
   )
-  (func $setTempRet0 (param $var$0 i32)
+  (func $setTempRet0 (type $2) (param $var$0 i32)
     (i32.store align=4
       (i32.const 168)
       (get_local $var$0)
     )
   )
-  (func $getTempRet0 (result i32)
+  (func $getTempRet0 (type $4) (result i32)
     (i32.load align=4
       (i32.const 168)
     )
   )
-  (func $_main (result i32)
+  (func $_main (type $4) (result i32)
     (local $var$0 i32)
     (local $var$1 i32)
     (local $var$2 i32)
@@ -364,7 +364,7 @@
       (i32.const 0)
     )
   )
-  (func $_frexp (param $var$0 f64) (param $var$1 i32) (result f64)
+  (func $_frexp (type $8) (param $var$0 f64) (param $var$1 i32) (result f64)
     (local $var$2 i32)
     (local $var$3 i32)
     (local $var$4 i32)
@@ -436,7 +436,7 @@
           (get_local $var$9)
           (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)) (case $label$2)
+        (table (case $label$1) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$3) (case $label$2)) (case $label$3)
         (case $label$1
           (block $label$5
             (set_local $var$13
@@ -468,7 +468,7 @@
                 (set_local $var$11
                   (i32.add
                     (get_local $var$6)
-                    (i32.const 192)
+                    (i32.const -64)
                   )
                 )
                 (set_local $var$10
@@ -497,7 +497,7 @@
             (br $label$4)
           )
         )
-        (case $label$3
+        (case $label$2
           (block $label$8
             (set_local $var$19
               (get_local $var$0)
@@ -505,7 +505,7 @@
             (br $label$4)
           )
         )
-        (case $label$2
+        (case $label$3
           (block $label$9
             (set_local $var$12
               (i32.add
@@ -560,7 +560,7 @@
       (get_local $var$19)
     )
   )
-  (func $_frexpl (param $var$0 f64) (param $var$1 i32) (result f64)
+  (func $_frexpl (type $8) (param $var$0 f64) (param $var$1 i32) (result f64)
     (local $var$2 i32)
     (local $var$3 i32)
     (local $var$4 f64)
@@ -579,7 +579,7 @@
       (get_local $var$4)
     )
   )
-  (func $_strerror (param $var$0 i32) (result i32)
+  (func $_strerror (type $1) (param $var$0 i32) (result i32)
     (local $var$1 i32)
     (local $var$2 i32)
     (local $var$3 i32)
@@ -767,7 +767,7 @@
             (set_local $var$6
               (i32.add
                 (get_local $var$9)
-                (i32.const 255)
+                (i32.const -1)
               )
             )
             (set_local $var$17
@@ -803,7 +803,7 @@
       (get_local $var$13)
     )
   )
-  (func $___errno_location (result i32)
+  (func $___errno_location (type $4) (result i32)
     (local $var$0 i32)
     (local $var$1 i32)
     (local $var$2 i32)
@@ -857,7 +857,7 @@
       (get_local $var$4)
     )
   )
-  (func $___stdio_close (param $var$0 i32) (result i32)
+  (func $___stdio_close (type $1) (param $var$0 i32) (result i32)
     (local $var$1 i32)
     (local $var$2 i32)
     (local $var$3 i32)
@@ -927,7 +927,7 @@
       (get_local $var$3)
     )
   )
-  (func $___stdout_write (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (result i32)
+  (func $___stdout_write (type $0) (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (result i32)
     (local $var$3 i32)
     (local $var$4 i32)
     (local $var$5 i32)
@@ -1070,7 +1070,7 @@
               )
               (i32.store8 align=1
                 (get_local $var$9)
-                (i32.const 255)
+                (i32.const -1)
               )
             )
           )
@@ -1090,7 +1090,7 @@
       (get_local $var$7)
     )
   )
-  (func $___stdio_seek (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (result i32)
+  (func $___stdio_seek (type $0) (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (result i32)
     (local $var$3 i32)
     (local $var$4 i32)
     (local $var$5 i32)
@@ -1218,10 +1218,10 @@
         (block $label$1
           (i32.store align=4
             (get_local $var$10)
-            (i32.const 255)
+            (i32.const -1)
           )
           (set_local $var$5
-            (i32.const 255)
+            (i32.const -1)
           )
         )
         (block $label$2
@@ -1242,7 +1242,7 @@
       (get_local $var$5)
     )
   )
-  (func $_fflush (param $var$0 i32) (result i32)
+  (func $_fflush (type $1) (param $var$0 i32) (result i32)
     (local $var$1 i32)
     (local $var$2 i32)
     (local $var$3 i32)
@@ -1371,7 +1371,7 @@
                     (set_local $var$14
                       (i32.gt_s
                         (get_local $var$4)
-                        (i32.const 255)
+                        (i32.const -1)
                       )
                     )
                     (if_else
@@ -1522,7 +1522,7 @@
             (set_local $var$13
               (i32.gt_s
                 (get_local $var$1)
-                (i32.const 255)
+                (i32.const -1)
               )
             )
             (if
@@ -1578,7 +1578,7 @@
       (get_local $var$29)
     )
   )
-  (func $_printf (param $var$0 i32) (param $var$1 i32) (result i32)
+  (func $_printf (type $5) (param $var$0 i32) (param $var$1 i32) (result i32)
     (local $var$2 i32)
     (local $var$3 i32)
     (local $var$4 i32)
@@ -1636,7 +1636,7 @@
       (get_local $var$4)
     )
   )
-  (func $___lockfile (param $var$0 i32) (result i32)
+  (func $___lockfile (type $1) (param $var$0 i32) (result i32)
     (local $var$1 i32)
     (local $var$2 i32)
     (block $label$0
@@ -1648,7 +1648,7 @@
       (i32.const 0)
     )
   )
-  (func $___unlockfile (param $var$0 i32)
+  (func $___unlockfile (type $2) (param $var$0 i32)
     (local $var$1 i32)
     (local $var$2 i32)
     (block $label$0
@@ -1660,7 +1660,7 @@
       (br $label$0)
     )
   )
-  (func $___stdio_write (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (result i32)
+  (func $___stdio_write (type $0) (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (result i32)
     (local $var$3 i32)
     (local $var$4 i32)
     (local $var$5 i32)
@@ -2071,7 +2071,7 @@
               (set_local $var$36
                 (i32.add
                   (get_local $var$49)
-                  (i32.const 255)
+                  (i32.const -1)
                 )
               )
               (set_local $var$48
@@ -2332,7 +2332,7 @@
       (get_local $var$55)
     )
   )
-  (func $_vfprintf (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (result i32)
+  (func $_vfprintf (type $0) (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (result i32)
     (local $var$3 i32)
     (local $var$4 i32)
     (local $var$5 i32)
@@ -2484,7 +2484,7 @@
       (if_else
         (get_local $var$23)
         (set_local $var$35
-          (i32.const 255)
+          (i32.const -1)
         )
         (block $label$4
           (set_local $var$28
@@ -2501,7 +2501,7 @@
           (set_local $var$24
             (i32.gt_s
               (get_local $var$4)
-              (i32.const 255)
+              (i32.const -1)
             )
           )
           (if_else
@@ -2560,7 +2560,7 @@
               (set_local $var$14
                 (i32.and
                   (get_local $var$5)
-                  (i32.const 223)
+                  (i32.const -33)
                 )
               )
               (i32.store align=4
@@ -2702,7 +2702,7 @@
                   (set_local $var$3
                     (if_else
                       (get_local $var$38)
-                      (i32.const 255)
+                      (i32.const -1)
                       (get_local $var$20)
                     )
                   )
@@ -2768,7 +2768,7 @@
             (if_else
               (get_local $var$39)
               (get_local $var$33)
-              (i32.const 255)
+              (i32.const -1)
             )
           )
           (set_local $var$32
@@ -2808,7 +2808,7 @@
       (get_local $var$35)
     )
   )
-  (func $___fwritex (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (result i32)
+  (func $___fwritex (type $0) (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (result i32)
     (local $var$3 i32)
     (local $var$4 i32)
     (local $var$5 i32)
@@ -3014,7 +3014,7 @@
                   )
                   (i32.const 24)
                 )
-                (i32.const 255)
+                (i32.const -1)
               )
             )
             (block $label$7
@@ -3053,7 +3053,7 @@
                       (set_local $var$34
                         (i32.add
                           (get_local $var$27)
-                          (i32.const 255)
+                          (i32.const -1)
                         )
                       )
                       (set_local $var$19
@@ -3221,7 +3221,7 @@
       (get_local $var$32)
     )
   )
-  (func $___towrite (param $var$0 i32) (result i32)
+  (func $___towrite (type $1) (param $var$0 i32) (result i32)
     (local $var$1 i32)
     (local $var$2 i32)
     (local $var$3 i32)
@@ -3411,14 +3411,14 @@
             (get_local $var$14)
           )
           (set_local $var$16
-            (i32.const 255)
+            (i32.const -1)
           )
         )
       )
       (get_local $var$16)
     )
   )
-  (func $_wcrtomb (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (result i32)
+  (func $_wcrtomb (type $0) (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (result i32)
     (local $var$3 i32)
     (local $var$4 i32)
     (local $var$5 i32)
@@ -3854,7 +3854,7 @@
                   (i32.const 84)
                 )
                 (set_local $var$42
-                  (i32.const 255)
+                  (i32.const -1)
                 )
                 (br $label$1)
               )
@@ -3865,7 +3865,7 @@
       (get_local $var$42)
     )
   )
-  (func $_wctomb (param $var$0 i32) (param $var$1 i32) (result i32)
+  (func $_wctomb (type $5) (param $var$0 i32) (param $var$1 i32) (result i32)
     (local $var$2 i32)
     (local $var$3 i32)
     (local $var$4 i32)
@@ -3904,7 +3904,7 @@
       (get_local $var$3)
     )
   )
-  (func $_memchr (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (result i32)
+  (func $_memchr (type $0) (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (result i32)
     (local $var$3 i32)
     (local $var$4 i32)
     (local $var$5 i32)
@@ -4067,7 +4067,7 @@
                 (set_local $var$22
                   (i32.add
                     (get_local $var$31)
-                    (i32.const 255)
+                    (i32.const -1)
                   )
                 )
                 (set_local $var$6
@@ -4310,7 +4310,7 @@
                           (set_local $var$46
                             (i32.add
                               (get_local $var$33)
-                              (i32.const 252)
+                              (i32.const -4)
                             )
                           )
                           (set_local $var$16
@@ -4448,7 +4448,7 @@
                     (set_local $var$23
                       (i32.add
                         (get_local $var$35)
-                        (i32.const 255)
+                        (i32.const -1)
                       )
                     )
                     (set_local $var$52
@@ -4501,7 +4501,7 @@
       (get_local $var$20)
     )
   )
-  (func $___syscall_ret (param $var$0 i32) (result i32)
+  (func $___syscall_ret (type $1) (param $var$0 i32) (result i32)
     (local $var$1 i32)
     (local $var$2 i32)
     (local $var$3 i32)
@@ -4540,7 +4540,7 @@
             (get_local $var$4)
           )
           (set_local $var$3
-            (i32.const 255)
+            (i32.const -1)
           )
         )
         (set_local $var$3
@@ -4550,7 +4550,7 @@
       (get_local $var$3)
     )
   )
-  (func $___fflush_unlocked (param $var$0 i32) (result i32)
+  (func $___fflush_unlocked (type $1) (param $var$0 i32) (result i32)
     (local $var$1 i32)
     (local $var$2 i32)
     (local $var$3 i32)
@@ -4654,7 +4654,7 @@
           (if_else
             (get_local $var$17)
             (set_local $var$11
-              (i32.const 255)
+              (i32.const -1)
             )
             (set_local $var$22
               (i32.const 3)
@@ -4779,7 +4779,7 @@
       (get_local $var$11)
     )
   )
-  (func $_cleanup (param $var$0 i32)
+  (func $_cleanup (type $2) (param $var$0 i32)
     (local $var$1 i32)
     (local $var$2 i32)
     (local $var$3 i32)
@@ -4817,7 +4817,7 @@
       (br $label$0)
     )
   )
-  (func $_printf_core (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (param $var$3 i32) (param $var$4 i32) (result i32)
+  (func $_printf_core (type $9) (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (param $var$3 i32) (param $var$4 i32) (result i32)
     (local $var$5 i32)
     (local $var$6 i32)
     (local $var$7 i32)
@@ -6006,7 +6006,7 @@
       )
       (set_local $var$886
         (i32.sub
-          (i32.const 254)
+          (i32.const -2)
           (get_local $var$866)
         )
       )
@@ -6054,7 +6054,7 @@
           (set_local $var$431
             (i32.gt_s
               (get_local $var$549)
-              (i32.const 255)
+              (i32.const -1)
             )
           )
           (block $label$4
@@ -6084,7 +6084,7 @@
                       (i32.const 75)
                     )
                     (set_local $var$550
-                      (i32.const 255)
+                      (i32.const -1)
                     )
                     (br $label$4)
                   )
@@ -6160,8 +6160,8 @@
                   )
                   (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)) (case $label$14)
-                (case $label$15
+                (table (case $label$14) (case $label$15) (case $label$15) (case $label$15) (case $label$15) (case $label$15) (case $label$15) (case $label$15) (case $label$15) (case $label$15) (case $label$15) (case $label$15) (case $label$15) (case $label$15) (case $label$15) (case $label$15) (case $label$15) (case $label$15) (case $label$15) (case $label$15) (case $label$15) (case $label$15) (case $label$15) (case $label$15) (case $label$15) (case $label$15) (case $label$15) (case $label$15) (case $label$15) (case $label$15) (case $label$15) (case $label$15) (case $label$15) (case $label$15) (case $label$15) (case $label$15) (case $label$15) (case $label$13)) (case $label$15)
+                (case $label$13
                   (block $label$17
                     (set_local $var$687
                       (get_local $var$684)
@@ -6176,7 +6176,7 @@
                     (br $label$16)
                   )
                 )
-                (case $label$13
+                (case $label$14
                   (block $label$18
                     (set_local $var$686
                       (get_local $var$684)
@@ -6188,7 +6188,7 @@
                     (br $label$16)
                   )
                 )
-                (case $label$14
+                (case $label$15
                   (nop)
                 )
               )
@@ -6413,7 +6413,7 @@
           (set_local $var$723
             (i32.add
               (get_local $var$586)
-              (i32.const 208)
+              (i32.const -48)
             )
           )
           (set_local $var$716
@@ -6475,7 +6475,7 @@
                 (if_else
                   (get_local $var$474)
                   (get_local $var$723)
-                  (i32.const 255)
+                  (i32.const -1)
                 )
               )
               (set_local $var$15
@@ -6501,7 +6501,7 @@
                 (get_local $var$234)
               )
               (set_local $var$397
-                (i32.const 255)
+                (i32.const -1)
               )
               (set_local $var$746
                 (get_local $var$743)
@@ -6523,7 +6523,7 @@
           (set_local $var$267
             (i32.and
               (get_local $var$588)
-              (i32.const 224)
+              (i32.const -32)
             )
           )
           (set_local $var$509
@@ -6553,7 +6553,7 @@
                     (set_local $var$927
                       (i32.add
                         (get_local $var$589)
-                        (i32.const 224)
+                        (i32.const -32)
                       )
                     )
                     (set_local $var$837
@@ -6601,7 +6601,7 @@
                     (set_local $var$929
                       (i32.add
                         (get_local $var$590)
-                        (i32.const 224)
+                        (i32.const -32)
                       )
                     )
                     (set_local $var$839
@@ -6639,7 +6639,7 @@
                     (set_local $var$34
                       (i32.and
                         (get_local $var$587)
-                        (i32.const 224)
+                        (i32.const -32)
                       )
                     )
                     (set_local $var$508
@@ -6733,7 +6733,7 @@
                 (set_local $var$730
                   (i32.add
                     (get_local $var$593)
-                    (i32.const 208)
+                    (i32.const -48)
                   )
                 )
                 (set_local $var$722
@@ -6804,7 +6804,7 @@
                         (set_local $var$934
                           (i32.add
                             (get_local $var$594)
-                            (i32.const 208)
+                            (i32.const -48)
                           )
                         )
                         (set_local $var$657
@@ -6888,7 +6888,7 @@
                       )
                       (block $label$44
                         (set_local $var$821
-                          (i32.const 255)
+                          (i32.const -1)
                         )
                         (br $label$1)
                       )
@@ -6961,7 +6961,7 @@
                     (set_local $var$632
                       (i32.xor
                         (get_local $var$633)
-                        (i32.const 255)
+                        (i32.const -1)
                       )
                     )
                     (set_local $var$199
@@ -7062,7 +7062,7 @@
                 (set_local $var$725
                   (i32.add
                     (get_local $var$565)
-                    (i32.const 208)
+                    (i32.const -48)
                   )
                 )
                 (set_local $var$717
@@ -7123,7 +7123,7 @@
                         (set_local $var$727
                           (i32.add
                             (get_local $var$568)
-                            (i32.const 208)
+                            (i32.const -48)
                           )
                         )
                         (set_local $var$719
@@ -7171,7 +7171,7 @@
                       (get_local $var$434)
                       (block $label$55
                         (set_local $var$821
-                          (i32.const 255)
+                          (i32.const -1)
                         )
                         (br $label$1)
                       )
@@ -7271,7 +7271,7 @@
                     (set_local $var$726
                       (i32.add
                         (get_local $var$566)
-                        (i32.const 208)
+                        (i32.const -48)
                       )
                     )
                     (set_local $var$718
@@ -7343,7 +7343,7 @@
                         (set_local $var$728
                           (i32.add
                             (get_local $var$569)
-                            (i32.const 208)
+                            (i32.const -48)
                           )
                         )
                         (set_local $var$720
@@ -7406,7 +7406,7 @@
                 (set_local $var$729
                   (i32.add
                     (get_local $var$575)
-                    (i32.const 208)
+                    (i32.const -48)
                   )
                 )
                 (set_local $var$721
@@ -7477,7 +7477,7 @@
                         (set_local $var$910
                           (i32.add
                             (get_local $var$577)
-                            (i32.const 208)
+                            (i32.const -48)
                           )
                         )
                         (set_local $var$656
@@ -7544,7 +7544,7 @@
                   )
                   (block $label$70
                     (set_local $var$821
-                      (i32.const 255)
+                      (i32.const -1)
                     )
                     (br $label$1)
                   )
@@ -7599,7 +7599,7 @@
                     (set_local $var$628
                       (i32.xor
                         (get_local $var$629)
-                        (i32.const 255)
+                        (i32.const -1)
                       )
                     )
                     (set_local $var$230
@@ -7648,7 +7648,7 @@
                   (get_local $var$680)
                 )
                 (set_local $var$790
-                  (i32.const 255)
+                  (i32.const -1)
                 )
               )
             )
@@ -7678,7 +7678,7 @@
               (set_local $var$912
                 (i32.add
                   (get_local $var$578)
-                  (i32.const 191)
+                  (i32.const -65)
                 )
               )
               (set_local $var$441
@@ -7694,7 +7694,7 @@
                 (get_local $var$441)
                 (block $label$77
                   (set_local $var$821
-                    (i32.const 255)
+                    (i32.const -1)
                   )
                   (br $label$1)
                 )
@@ -7731,7 +7731,7 @@
               (set_local $var$913
                 (i32.add
                   (get_local $var$579)
-                  (i32.const 255)
+                  (i32.const -1)
                 )
               )
               (set_local $var$442
@@ -7791,7 +7791,7 @@
             (get_local $var$964)
             (block $label$80
               (set_local $var$821
-                (i32.const 255)
+                (i32.const -1)
               )
               (br $label$1)
             )
@@ -7811,7 +7811,7 @@
           (set_local $var$445
             (i32.gt_s
               (get_local $var$397)
-              (i32.const 255)
+              (i32.const -1)
             )
           )
           (block $label$81
@@ -7821,7 +7821,7 @@
                 (get_local $var$445)
                 (block $label$82
                   (set_local $var$821
-                    (i32.const 255)
+                    (i32.const -1)
                   )
                   (br $label$1)
                 )
@@ -8002,7 +8002,7 @@
           (set_local $var$376
             (i32.and
               (get_local $var$581)
-              (i32.const 223)
+              (i32.const -33)
             )
           )
           (set_local $var$937
@@ -8043,15 +8043,15 @@
                 (get_local $var$937)
                 (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)) (case $label$90)
-              (case $label$105
+              (table (case $label$102) (case $label$110) (case $label$100) (case $label$110) (case $label$105) (case $label$104) (case $label$103) (case $label$110) (case $label$110) (case $label$110) (case $label$110) (case $label$110) (case $label$110) (case $label$110) (case $label$110) (case $label$110) (case $label$110) (case $label$110) (case $label$101) (case $label$110) (case $label$110) (case $label$110) (case $label$110) (case $label$91) (case $label$110) (case $label$110) (case $label$110) (case $label$110) (case $label$110) (case $label$110) (case $label$110) (case $label$110) (case $label$106) (case $label$110) (case $label$97) (case $label$95) (case $label$109) (case $label$108) (case $label$107) (case $label$110) (case $label$94) (case $label$110) (case $label$110) (case $label$110) (case $label$98) (case $label$89) (case $label$93) (case $label$90) (case $label$110) (case $label$110) (case $label$99) (case $label$110) (case $label$96) (case $label$110) (case $label$110) (case $label$92)) (case $label$110)
+              (case $label$89
                 (block $label$112
                   (tableswitch $label$121
                     (i32.sub
                       (get_local $var$844)
                       (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)) (case $label$118)
+                    (table (case $label$113) (case $label$114) (case $label$115) (case $label$116) (case $label$117) (case $label$120) (case $label$118) (case $label$119)) (case $label$120)
                     (case $label$113
                       (block $label$122
                         (set_local $var$258
@@ -8233,7 +8233,7 @@
                         (br $label$121)
                       )
                     )
-                    (case $label$119
+                    (case $label$118
                       (block $label$127
                         (set_local $var$270
                           (i32.load align=4
@@ -8260,7 +8260,7 @@
                         (br $label$121)
                       )
                     )
-                    (case $label$120
+                    (case $label$119
                       (block $label$128
                         (set_local $var$271
                           (i32.lt_s
@@ -8321,7 +8321,7 @@
                         (br $label$121)
                       )
                     )
-                    (case $label$118
+                    (case $label$120
                       (block $label$129
                         (set_local $var$549
                           (get_local $var$550)
@@ -8342,7 +8342,7 @@
                   (br $label$111)
                 )
               )
-              (case $label$107
+              (case $label$90
                 (block $label$130
                   (set_local $var$455
                     (i32.gt_u
@@ -8381,10 +8381,10 @@
                   (br $label$111)
                 )
               )
-              (case $label$96
+              (case $label$91
                 (nop)
               )
-              (case $label$110
+              (case $label$92
                 (block $label$131
                   (set_local $var$639
                     (get_local $var$638)
@@ -8401,7 +8401,7 @@
                   (br $label$111)
                 )
               )
-              (case $label$106
+              (case $label$93
                 (block $label$132
                   (set_local $var$41
                     (get_local $var$392)
@@ -8484,7 +8484,7 @@
                           (set_local $var$671
                             (i32.add
                               (get_local $var$828)
-                              (i32.const 255)
+                              (i32.const -1)
                             )
                           )
                           (i32.store8 align=1
@@ -8632,10 +8632,10 @@
                   (br $label$111)
                 )
               )
-              (case $label$103
+              (case $label$94
                 (nop)
               )
-              (case $label$99
+              (case $label$95
                 (block $label$141
                   (set_local $var$62
                     (get_local $var$392)
@@ -8796,7 +8796,7 @@
                   (br $label$111)
                 )
               )
-              (case $label$109
+              (case $label$96
                 (block $label$145
                   (set_local $var$251
                     (get_local $var$392)
@@ -8841,7 +8841,7 @@
                   (br $label$111)
                 )
               )
-              (case $label$98
+              (case $label$97
                 (block $label$146
                   (set_local $var$91
                     (get_local $var$392)
@@ -8899,7 +8899,7 @@
                   (br $label$111)
                 )
               )
-              (case $label$104
+              (case $label$98
                 (block $label$147
                   (set_local $var$424
                     (call $___errno_location)
@@ -8923,7 +8923,7 @@
                   (br $label$111)
                 )
               )
-              (case $label$108
+              (case $label$99
                 (block $label$148
                   (set_local $var$99
                     (i32.load align=4
@@ -8952,7 +8952,7 @@
                   (br $label$111)
                 )
               )
-              (case $label$91
+              (case $label$100
                 (block $label$149
                   (set_local $var$101
                     (get_local $var$392)
@@ -8992,7 +8992,7 @@
                     (get_local $var$1007)
                   )
                   (set_local $var$795
-                    (i32.const 255)
+                    (i32.const -1)
                   )
                   (set_local $var$1034
                     (i32.const 86)
@@ -9000,7 +9000,7 @@
                   (br $label$111)
                 )
               )
-              (case $label$95
+              (case $label$101
                 (block $label$150
                   (set_local $var$477
                     (i32.eq
@@ -9037,28 +9037,28 @@
                   (br $label$111)
                 )
               )
-              (case $label$89
+              (case $label$102
                 (nop)
               )
-              (case $label$94
+              (case $label$103
                 (nop)
               )
-              (case $label$93
+              (case $label$104
                 (nop)
               )
-              (case $label$92
+              (case $label$105
                 (nop)
               )
-              (case $label$97
+              (case $label$106
                 (nop)
               )
-              (case $label$102
+              (case $label$107
                 (nop)
               )
-              (case $label$101
+              (case $label$108
                 (nop)
               )
-              (case $label$100
+              (case $label$109
                 (block $label$153
                   (set_local $var$1038
                     (f64.load align=8
@@ -9270,7 +9270,7 @@
                             (set_local $var$605
                               (i32.add
                                 (get_local $var$127)
-                                (i32.const 255)
+                                (i32.const -1)
                               )
                             )
                             (i32.store align=4
@@ -9370,7 +9370,7 @@
                                       (set_local $var$608
                                         (i32.add
                                           (get_local $var$816)
-                                          (i32.const 255)
+                                          (i32.const -1)
                                         )
                                       )
                                       (set_local $var$1051
@@ -9568,7 +9568,7 @@
                             (set_local $var$674
                               (i32.add
                                 (get_local $var$620)
-                                (i32.const 255)
+                                (i32.const -1)
                               )
                             )
                             (i32.store8 align=1
@@ -9590,7 +9590,7 @@
                             (set_local $var$675
                               (i32.add
                                 (get_local $var$620)
-                                (i32.const 254)
+                                (i32.const -2)
                               )
                             )
                             (i32.store8 align=1
@@ -10036,7 +10036,7 @@
                             (set_local $var$915
                               (i32.add
                                 (get_local $var$143)
-                                (i32.const 228)
+                                (i32.const -28)
                               )
                             )
                             (i32.store align=4
@@ -10193,7 +10193,7 @@
                                 (set_local $var$595
                                   (i32.add
                                     (get_local $var$1023)
-                                    (i32.const 252)
+                                    (i32.const -4)
                                   )
                                 )
                                 (set_local $var$453
@@ -10286,7 +10286,7 @@
                                           (set_local $var$596
                                             (i32.add
                                               (get_local $var$597)
-                                              (i32.const 252)
+                                              (i32.const -4)
                                             )
                                           )
                                           (set_local $var$454
@@ -10339,7 +10339,7 @@
                                       (set_local $var$691
                                         (i32.add
                                           (get_local $var$292)
-                                          (i32.const 252)
+                                          (i32.const -4)
                                         )
                                       )
                                       (i32.store align=4
@@ -10384,7 +10384,7 @@
                                     (set_local $var$409
                                       (i32.add
                                         (get_local $var$1025)
-                                        (i32.const 252)
+                                        (i32.const -4)
                                       )
                                     )
                                     (set_local $var$157
@@ -10497,7 +10497,7 @@
                                   (get_local $var$335)
                                   (i32.const 9)
                                 )
-                                (i32.const 255)
+                                (i32.const -1)
                               )
                             )
                             (set_local $var$336
@@ -10567,7 +10567,7 @@
                                       (set_local $var$918
                                         (i32.add
                                           (get_local $var$838)
-                                          (i32.const 255)
+                                          (i32.const -1)
                                         )
                                       )
                                       (set_local $var$842
@@ -11048,7 +11048,7 @@
                         (set_local $var$763
                           (i32.add
                             (get_local $var$167)
-                            (i32.const 247)
+                            (i32.const -9)
                           )
                         )
                         (set_local $var$472
@@ -11078,7 +11078,7 @@
                                   (get_local $var$340)
                                   (i32.const 9)
                                 )
-                                (i32.const 255)
+                                (i32.const -1)
                               )
                             )
                             (set_local $var$921
@@ -11102,7 +11102,7 @@
                                   (get_local $var$340)
                                   (i32.const 9)
                                 )
-                                (i32.const 255)
+                                (i32.const -1)
                               )
                             )
                             (set_local $var$733
@@ -11188,7 +11188,7 @@
                                     (i32.const 0)
                                   )
                                 )
-                                (i32.const 255)
+                                (i32.const -1)
                               )
                             )
                             (set_local $var$983
@@ -11242,7 +11242,7 @@
                                           (i32.const 0)
                                         )
                                       )
-                                      (i32.const 255)
+                                      (i32.const -1)
                                     )
                                   )
                                   (set_local $var$388
@@ -11270,7 +11270,7 @@
                                         (get_local $var$648)
                                         (i32.const 2)
                                       )
-                                      (i32.const 255)
+                                      (i32.const -1)
                                     )
                                   )
                                   (set_local $var$480
@@ -11457,7 +11457,7 @@
                                           (set_local $var$701
                                             (i32.add
                                               (get_local $var$600)
-                                              (i32.const 252)
+                                              (i32.const -4)
                                             )
                                           )
                                           (i32.store align=4
@@ -11482,7 +11482,7 @@
                                               (set_local $var$702
                                                 (i32.add
                                                   (get_local $var$298)
-                                                  (i32.const 252)
+                                                  (i32.const -4)
                                                 )
                                               )
                                               (i32.store align=4
@@ -11755,7 +11755,7 @@
                             (set_local $var$413
                               (i32.add
                                 (get_local $var$1031)
-                                (i32.const 252)
+                                (i32.const -4)
                               )
                             )
                             (set_local $var$172
@@ -11818,7 +11818,7 @@
                               (set_local $var$502
                                 (i32.gt_s
                                   (get_local $var$617)
-                                  (i32.const 251)
+                                  (i32.const -5)
                                 )
                               )
                               (set_local $var$778
@@ -11833,13 +11833,13 @@
                                   (set_local $var$606
                                     (i32.add
                                       (get_local $var$937)
-                                      (i32.const 255)
+                                      (i32.const -1)
                                     )
                                   )
                                   (set_local $var$345
                                     (i32.add
                                       (get_local $var$10)
-                                      (i32.const 255)
+                                      (i32.const -1)
                                     )
                                   )
                                   (set_local $var$924
@@ -11859,13 +11859,13 @@
                                   (set_local $var$925
                                     (i32.add
                                       (get_local $var$937)
-                                      (i32.const 254)
+                                      (i32.const -2)
                                     )
                                   )
                                   (set_local $var$607
                                     (i32.add
                                       (get_local $var$10)
-                                      (i32.const 255)
+                                      (i32.const -1)
                                     )
                                   )
                                   (set_local $var$799
@@ -11913,7 +11913,7 @@
                                     (set_local $var$416
                                       (i32.add
                                         (get_local $var$1032)
-                                        (i32.const 252)
+                                        (i32.const -4)
                                       )
                                     )
                                     (set_local $var$174
@@ -11945,7 +11945,7 @@
                                           )
                                           (i32.const 10)
                                         )
-                                        (i32.const 255)
+                                        (i32.const -1)
                                       )
                                     )
                                     (set_local $var$506
@@ -11997,7 +11997,7 @@
                                                 (i32.const 0)
                                               )
                                             )
-                                            (i32.const 255)
+                                            (i32.const -1)
                                           )
                                         )
                                         (set_local $var$507
@@ -12068,7 +12068,7 @@
                               (set_local $var$768
                                 (i32.add
                                   (get_local $var$175)
-                                  (i32.const 247)
+                                  (i32.const -9)
                                 )
                               )
                               (if_else
@@ -12303,7 +12303,7 @@
                                     (set_local $var$704
                                       (i32.add
                                         (get_local $var$622)
-                                        (i32.const 255)
+                                        (i32.const -1)
                                       )
                                     )
                                     (i32.store8 align=1
@@ -12372,7 +12372,7 @@
                             (set_local $var$705
                               (i32.add
                                 (get_local $var$621)
-                                (i32.const 255)
+                                (i32.const -1)
                               )
                             )
                             (i32.store8 align=1
@@ -12388,7 +12388,7 @@
                             (set_local $var$706
                               (i32.add
                                 (get_local $var$621)
-                                (i32.const 254)
+                                (i32.const -2)
                               )
                             )
                             (i32.store8 align=1
@@ -12587,7 +12587,7 @@
                                             (set_local $var$707
                                               (i32.add
                                                 (get_local $var$830)
-                                                (i32.const 255)
+                                                (i32.const -1)
                                               )
                                             )
                                             (i32.store8 align=1
@@ -12808,7 +12808,7 @@
                                               (set_local $var$711
                                                 (i32.add
                                                   (get_local $var$833)
-                                                  (i32.const 255)
+                                                  (i32.const -1)
                                                 )
                                               )
                                               (i32.store8 align=1
@@ -12896,7 +12896,7 @@
                                       (set_local $var$931
                                         (i32.add
                                           (get_local $var$802)
-                                          (i32.const 247)
+                                          (i32.const -9)
                                         )
                                       )
                                       (set_local $var$529
@@ -12979,7 +12979,7 @@
                               (set_local $var$536
                                 (i32.gt_s
                                   (get_local $var$800)
-                                  (i32.const 255)
+                                  (i32.const -1)
                                 )
                               )
                               (if_else
@@ -13162,7 +13162,7 @@
                                                 (set_local $var$713
                                                   (i32.add
                                                     (get_local $var$835)
-                                                    (i32.const 255)
+                                                    (i32.const -1)
                                                   )
                                                 )
                                                 (i32.store8 align=1
@@ -13275,7 +13275,7 @@
                                       (set_local $var$537
                                         (i32.gt_s
                                           (get_local $var$933)
-                                          (i32.const 255)
+                                          (i32.const -1)
                                         )
                                       )
                                       (set_local $var$203
@@ -13565,7 +13565,7 @@
                   (br $label$111)
                 )
               )
-              (case $label$90
+              (case $label$110
                 (block $label$345
                   (set_local $var$293
                     (get_local $var$685)
@@ -13720,7 +13720,7 @@
                         (set_local $var$669
                           (i32.add
                             (get_local $var$827)
-                            (i32.const 255)
+                            (i32.const -1)
                           )
                         )
                         (i32.store8 align=1
@@ -14163,7 +14163,7 @@
                         (get_local $var$483)
                         (block $label$367
                           (set_local $var$821
-                            (i32.const 255)
+                            (i32.const -1)
                           )
                           (br $label$1)
                         )
@@ -14394,7 +14394,7 @@
               (set_local $var$464
                 (i32.gt_s
                   (get_local $var$792)
-                  (i32.const 255)
+                  (i32.const -1)
                 )
               )
               (set_local $var$385
@@ -14849,7 +14849,7 @@
                               )
                               (block $label$394
                                 (set_local $var$821
-                                  (i32.const 255)
+                                  (i32.const -1)
                                 )
                                 (br $label$381)
                               )
@@ -14897,7 +14897,7 @@
       (get_local $var$821)
     )
   )
-  (func $_pop_arg_336 (param $var$0 i32) (param $var$1 i32) (param $var$2 i32)
+  (func $_pop_arg_336 (type $10) (param $var$0 i32) (param $var$1 i32) (param $var$2 i32)
     (local $var$3 i32)
     (local $var$4 i32)
     (local $var$5 i32)
@@ -15162,7 +15162,7 @@
                 (set_local $var$139
                   (i32.xor
                     (get_local $var$140)
-                    (i32.const 255)
+                    (i32.const -1)
                   )
                 )
                 (set_local $var$46
@@ -15246,7 +15246,7 @@
                 (set_local $var$144
                   (i32.xor
                     (get_local $var$145)
-                    (i32.const 255)
+                    (i32.const -1)
                   )
                 )
                 (set_local $var$15
@@ -15364,7 +15364,7 @@
                 (set_local $var$149
                   (i32.xor
                     (get_local $var$150)
-                    (i32.const 255)
+                    (i32.const -1)
                   )
                 )
                 (set_local $var$29
@@ -15467,7 +15467,7 @@
                 (set_local $var$154
                   (i32.xor
                     (get_local $var$155)
-                    (i32.const 255)
+                    (i32.const -1)
                   )
                 )
                 (set_local $var$41
@@ -15590,7 +15590,7 @@
                 (set_local $var$159
                   (i32.xor
                     (get_local $var$160)
-                    (i32.const 255)
+                    (i32.const -1)
                   )
                 )
                 (set_local $var$59
@@ -15723,7 +15723,7 @@
                 (set_local $var$164
                   (i32.xor
                     (get_local $var$165)
-                    (i32.const 255)
+                    (i32.const -1)
                   )
                 )
                 (set_local $var$74
@@ -15832,7 +15832,7 @@
                 (set_local $var$169
                   (i32.xor
                     (get_local $var$170)
-                    (i32.const 255)
+                    (i32.const -1)
                   )
                 )
                 (set_local $var$86
@@ -15965,7 +15965,7 @@
                 (set_local $var$174
                   (i32.xor
                     (get_local $var$175)
-                    (i32.const 255)
+                    (i32.const -1)
                   )
                 )
                 (set_local $var$102
@@ -16074,7 +16074,7 @@
                 (set_local $var$179
                   (i32.xor
                     (get_local $var$180)
-                    (i32.const 255)
+                    (i32.const -1)
                   )
                 )
                 (set_local $var$7
@@ -16158,7 +16158,7 @@
                 (set_local $var$184
                   (i32.xor
                     (get_local $var$185)
-                    (i32.const 255)
+                    (i32.const -1)
                   )
                 )
                 (set_local $var$13
@@ -16202,7 +16202,7 @@
       (br $label$0)
     )
   )
-  (func $_fmt_u (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (result i32)
+  (func $_fmt_u (type $0) (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (result i32)
     (local $var$3 i32)
     (local $var$4 i32)
     (local $var$5 i32)
@@ -16261,7 +16261,7 @@
             (get_local $var$0)
             (i32.const 0)
           )
-          (i32.const 255)
+          (i32.const -1)
         )
       )
       (set_local $var$18
@@ -16324,7 +16324,7 @@
               (set_local $var$27
                 (i32.add
                   (get_local $var$32)
-                  (i32.const 255)
+                  (i32.const -1)
                 )
               )
               (i32.store8 align=1
@@ -16359,7 +16359,7 @@
                     (get_local $var$21)
                     (i32.const 0)
                   )
-                  (i32.const 255)
+                  (i32.const -1)
                 )
               )
               (set_local $var$10
@@ -16454,7 +16454,7 @@
                     )
                     (i32.const 10)
                   )
-                  (i32.const 255)
+                  (i32.const -1)
                 )
               )
               (set_local $var$24
@@ -16472,7 +16472,7 @@
               (set_local $var$29
                 (i32.add
                   (get_local $var$34)
-                  (i32.const 255)
+                  (i32.const -1)
                 )
               )
               (i32.store8 align=1
@@ -16488,7 +16488,7 @@
                     )
                     (i32.const 10)
                   )
-                  (i32.const 255)
+                  (i32.const -1)
                 )
               )
               (set_local $var$14
@@ -16525,7 +16525,7 @@
       (get_local $var$33)
     )
   )
-  (func $_pad (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (param $var$3 i32) (param $var$4 i32)
+  (func $_pad (type $11) (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (param $var$3 i32) (param $var$4 i32)
     (local $var$5 i32)
     (local $var$6 i32)
     (local $var$7 i32)
@@ -16785,7 +16785,7 @@
       (br $label$0)
     )
   )
-  (func $_malloc (param $var$0 i32) (result i32)
+  (func $_malloc (type $1) (param $var$0 i32) (result i32)
     (local $var$1 i32)
     (local $var$2 i32)
     (local $var$3 i32)
@@ -18012,7 +18012,7 @@
             (set_local $var$366
               (i32.and
                 (get_local $var$326)
-                (i32.const 248)
+                (i32.const -8)
               )
             )
             (set_local $var$761
@@ -18131,7 +18131,7 @@
                       (set_local $var$864
                         (i32.xor
                           (get_local $var$970)
-                          (i32.const 255)
+                          (i32.const -1)
                         )
                       )
                       (set_local $var$385
@@ -18336,7 +18336,7 @@
                     (set_local $var$1146
                       (i32.add
                         (get_local $var$424)
-                        (i32.const 255)
+                        (i32.const -1)
                       )
                     )
                     (set_local $var$1052
@@ -18515,7 +18515,7 @@
                           (set_local $var$867
                             (i32.xor
                               (get_local $var$1006)
-                              (i32.const 255)
+                              (i32.const -1)
                             )
                           )
                           (set_local $var$442
@@ -18871,7 +18871,7 @@
                     (set_local $var$1126
                       (i32.add
                         (get_local $var$367)
-                        (i32.const 255)
+                        (i32.const -1)
                       )
                     )
                     (set_local $var$1014
@@ -19022,7 +19022,7 @@
                     (set_local $var$392
                       (i32.and
                         (get_local $var$138)
-                        (i32.const 248)
+                        (i32.const -8)
                       )
                     )
                     (set_local $var$1127
@@ -19113,7 +19113,7 @@
                         (set_local $var$408
                           (i32.and
                             (get_local $var$141)
-                            (i32.const 248)
+                            (i32.const -8)
                           )
                         )
                         (set_local $var$1134
@@ -19562,7 +19562,7 @@
                                   (set_local $var$859
                                     (i32.xor
                                       (get_local $var$962)
-                                      (i32.const 255)
+                                      (i32.const -1)
                                     )
                                   )
                                   (set_local $var$155
@@ -20136,13 +20136,13 @@
                   (get_local $var$0)
                   (i32.const 0)
                 )
-                (i32.const 191)
+                (i32.const -65)
               )
             )
             (if_else
               (get_local $var$613)
               (set_local $var$857
-                (i32.const 255)
+                (i32.const -1)
               )
               (block $label$57
                 (set_local $var$319
@@ -20154,7 +20154,7 @@
                 (set_local $var$386
                   (i32.and
                     (get_local $var$319)
-                    (i32.const 248)
+                    (i32.const -8)
                   )
                 )
                 (set_local $var$171
@@ -20452,7 +20452,7 @@
                               (set_local $var$410
                                 (i32.and
                                   (get_local $var$173)
-                                  (i32.const 248)
+                                  (i32.const -8)
                                 )
                               )
                               (set_local $var$1138
@@ -20723,7 +20723,7 @@
                             (set_local $var$1155
                               (i32.add
                                 (get_local $var$436)
-                                (i32.const 255)
+                                (i32.const -1)
                               )
                             )
                             (set_local $var$1068
@@ -20925,7 +20925,7 @@
                           (set_local $var$375
                             (i32.and
                               (get_local $var$178)
-                              (i32.const 248)
+                              (i32.const -8)
                             )
                           )
                           (set_local $var$1115
@@ -21485,7 +21485,7 @@
                                           (set_local $var$860
                                             (i32.xor
                                               (get_local $var$975)
-                                              (i32.const 255)
+                                              (i32.const -1)
                                             )
                                           )
                                           (set_local $var$196
@@ -22356,7 +22356,7 @@
                                       (set_local $var$419
                                         (i32.and
                                           (get_local $var$211)
-                                          (i32.const 248)
+                                          (i32.const -8)
                                         )
                                       )
                                       (set_local $var$703
@@ -22923,7 +22923,7 @@
             (set_local $var$1104
               (i32.add
                 (get_local $var$550)
-                (i32.const 255)
+                (i32.const -1)
               )
             )
             (set_local $var$373
@@ -22951,11 +22951,11 @@
                 )
                 (i32.store align=4
                   (i32.const 660)
-                  (i32.const 255)
+                  (i32.const -1)
                 )
                 (i32.store align=4
                   (i32.const 664)
-                  (i32.const 255)
+                  (i32.const -1)
                 )
                 (i32.store align=4
                   (i32.const 668)
@@ -22973,7 +22973,7 @@
                 (set_local $var$1187
                   (i32.and
                     (get_local $var$556)
-                    (i32.const 240)
+                    (i32.const -16)
                   )
                 )
                 (set_local $var$439
@@ -23329,7 +23329,7 @@
                           (set_local $var$750
                             (i32.eq
                               (get_local $var$558)
-                              (i32.const 255)
+                              (i32.const -1)
                             )
                           )
                           (if
@@ -23383,7 +23383,7 @@
                   (set_local $var$701
                     (i32.eq
                       (get_local $var$555)
-                      (i32.const 255)
+                      (i32.const -1)
                     )
                   )
                   (if
@@ -23403,7 +23403,7 @@
                       (set_local $var$1144
                         (i32.add
                           (get_local $var$27)
-                          (i32.const 255)
+                          (i32.const -1)
                         )
                       )
                       (set_local $var$423
@@ -23613,7 +23613,7 @@
                   (set_local $var$753
                     (i32.ne
                       (get_local $var$549)
-                      (i32.const 255)
+                      (i32.const -1)
                     )
                   )
                   (set_local $var$754
@@ -23702,7 +23702,7 @@
                             (set_local $var$585
                               (i32.eq
                                 (get_local $var$551)
-                                (i32.const 255)
+                                (i32.const -1)
                               )
                             )
                             (if_else
@@ -23740,7 +23740,7 @@
                   (set_local $var$591
                     (i32.eq
                       (get_local $var$549)
-                      (i32.const 255)
+                      (i32.const -1)
                     )
                   )
                   (if
@@ -23819,13 +23819,13 @@
               (set_local $var$606
                 (i32.ne
                   (get_local $var$552)
-                  (i32.const 255)
+                  (i32.const -1)
                 )
               )
               (set_local $var$608
                 (i32.ne
                   (get_local $var$553)
-                  (i32.const 255)
+                  (i32.const -1)
                 )
               )
               (set_local $var$882
@@ -24024,7 +24024,7 @@
                 )
                 (i32.store align=4
                   (i32.const 208)
-                  (i32.const 255)
+                  (i32.const -1)
                 )
                 (set_local $var$848
                   (i32.const 0)
@@ -24091,7 +24091,7 @@
                 (set_local $var$1123
                   (i32.add
                     (get_local $var$1179)
-                    (i32.const 216)
+                    (i32.const -40)
                   )
                 )
                 (set_local $var$266
@@ -24900,7 +24900,7 @@
                                   (set_local $var$418
                                     (i32.and
                                       (get_local $var$69)
-                                      (i32.const 248)
+                                      (i32.const -8)
                                     )
                                   )
                                   (set_local $var$1016
@@ -25031,7 +25031,7 @@
                                             (set_local $var$862
                                               (i32.xor
                                                 (get_local $var$1001)
-                                                (i32.const 255)
+                                                (i32.const -1)
                                               )
                                             )
                                             (set_local $var$75
@@ -25493,7 +25493,7 @@
                                               (set_local $var$865
                                                 (i32.xor
                                                   (get_local $var$972)
-                                                  (i32.const 255)
+                                                  (i32.const -1)
                                                 )
                                               )
                                               (set_local $var$89
@@ -25791,7 +25791,7 @@
                               (set_local $var$391
                                 (i32.and
                                   (get_local $var$97)
-                                  (i32.const 254)
+                                  (i32.const -2)
                                 )
                               )
                               (i32.store align=4
@@ -26337,7 +26337,7 @@
                                   (set_local $var$409
                                     (i32.and
                                       (get_local $var$104)
-                                      (i32.const 248)
+                                      (i32.const -8)
                                     )
                                   )
                                   (set_local $var$687
@@ -26697,7 +26697,7 @@
                 (set_local $var$287
                   (i32.add
                     (get_local $var$273)
-                    (i32.const 209)
+                    (i32.const -47)
                   )
                 )
                 (set_local $var$297
@@ -26786,7 +26786,7 @@
                 (set_local $var$1121
                   (i32.add
                     (get_local $var$1179)
-                    (i32.const 216)
+                    (i32.const -40)
                   )
                 )
                 (set_local $var$265
@@ -27033,7 +27033,7 @@
                     (set_local $var$411
                       (i32.and
                         (get_local $var$121)
-                        (i32.const 254)
+                        (i32.const -2)
                       )
                     )
                     (i32.store align=4
@@ -27558,7 +27558,7 @@
                         (set_local $var$380
                           (i32.and
                             (get_local $var$130)
-                            (i32.const 248)
+                            (i32.const -8)
                           )
                         )
                         (set_local $var$595
@@ -27922,7 +27922,7 @@
       (get_local $var$949)
     )
   )
-  (func $_free (param $var$0 i32)
+  (func $_free (type $2) (param $var$0 i32)
     (local $var$1 i32)
     (local $var$2 i32)
     (local $var$3 i32)
@@ -28295,7 +28295,7 @@
       (set_local $var$96
         (i32.add
           (get_local $var$0)
-          (i32.const 248)
+          (i32.const -8)
         )
       )
       (set_local $var$5
@@ -28322,7 +28322,7 @@
       (set_local $var$274
         (i32.add
           (get_local $var$0)
-          (i32.const 252)
+          (i32.const -4)
         )
       )
       (set_local $var$6
@@ -28349,7 +28349,7 @@
       (set_local $var$123
         (i32.and
           (get_local $var$6)
-          (i32.const 248)
+          (i32.const -8)
         )
       )
       (set_local $var$102
@@ -28482,7 +28482,7 @@
                 (set_local $var$115
                   (i32.and
                     (get_local $var$25)
-                    (i32.const 254)
+                    (i32.const -2)
                   )
                 )
                 (i32.store align=4
@@ -28645,7 +28645,7 @@
                     (set_local $var$287
                       (i32.xor
                         (get_local $var$319)
-                        (i32.const 255)
+                        (i32.const -1)
                       )
                     )
                     (set_local $var$72
@@ -29117,7 +29117,7 @@
                         (set_local $var$288
                           (i32.xor
                             (get_local $var$315)
-                            (i32.const 255)
+                            (i32.const -1)
                           )
                         )
                         (set_local $var$18
@@ -29617,7 +29617,7 @@
           (set_local $var$118
             (i32.and
               (get_local $var$26)
-              (i32.const 248)
+              (i32.const -8)
             )
           )
           (set_local $var$106
@@ -29759,7 +29759,7 @@
                     (set_local $var$289
                       (i32.xor
                         (get_local $var$317)
-                        (i32.const 255)
+                        (i32.const -1)
                       )
                     )
                     (set_local $var$37
@@ -30228,7 +30228,7 @@
                             (set_local $var$290
                               (i32.xor
                                 (get_local $var$318)
-                                (i32.const 255)
+                                (i32.const -1)
                               )
                             )
                             (set_local $var$55
@@ -30546,7 +30546,7 @@
           (set_local $var$122
             (i32.and
               (get_local $var$26)
-              (i32.const 254)
+              (i32.const -2)
             )
           )
           (i32.store align=4
@@ -31088,7 +31088,7 @@
                 (set_local $var$130
                   (i32.and
                     (get_local $var$70)
-                    (i32.const 248)
+                    (i32.const -8)
                   )
                 )
                 (set_local $var$246
@@ -31352,7 +31352,7 @@
       (set_local $var$258
         (i32.add
           (get_local $var$77)
-          (i32.const 255)
+          (i32.const -1)
         )
       )
       (i32.store align=4
@@ -31403,15 +31403,15 @@
       )
       (i32.store align=4
         (i32.const 208)
-        (i32.const 255)
+        (i32.const -1)
       )
       (br $label$0)
     )
   )
-  (func $runPostSets
+  (func $runPostSets (type $3)
     (nop)
   )
-  (func $_i64Subtract (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (param $var$3 i32) (result i32)
+  (func $_i64Subtract (type $12) (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (param $var$3 i32) (result i32)
     (local $var$4 i32)
     (local $var$5 i32)
     (block $label$0
@@ -31463,7 +31463,7 @@
       )
     )
   )
-  (func $_i64Add (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (param $var$3 i32) (result i32)
+  (func $_i64Add (type $12) (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (param $var$3 i32) (result i32)
     (local $var$4 i32)
     (local $var$5 i32)
     (block $label$0
@@ -31506,7 +31506,7 @@
       )
     )
   )
-  (func $_memset (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (result i32)
+  (func $_memset (type $0) (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (result i32)
     (local $var$3 i32)
     (local $var$4 i32)
     (local $var$5 i32)
@@ -31562,7 +31562,7 @@
               (get_local $var$3)
               (i32.xor
                 (i32.const 3)
-                (i32.const 255)
+                (i32.const -1)
               )
             )
           )
@@ -31663,7 +31663,7 @@
       )
     )
   )
-  (func $_bitshift64Lshr (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (result i32)
+  (func $_bitshift64Lshr (type $0) (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (result i32)
     (local $var$3 i32)
     (block $label$0
       (if
@@ -31721,7 +31721,7 @@
       )
     )
   )
-  (func $_bitshift64Shl (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (result i32)
+  (func $_bitshift64Shl (type $0) (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (result i32)
     (local $var$3 i32)
     (block $label$0
       (if
@@ -31785,7 +31785,7 @@
       (i32.const 0)
     )
   )
-  (func $_memcpy (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (result i32)
+  (func $_memcpy (type $0) (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (result i32)
     (local $var$3 i32)
     (block $label$0
       (if
@@ -31947,7 +31947,7 @@
       (get_local $var$3)
     )
   )
-  (func $_bitshift64Ashr (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (result i32)
+  (func $_bitshift64Ashr (type $0) (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (result i32)
     (local $var$3 i32)
     (block $label$0
       (if
@@ -31999,7 +31999,7 @@
             (get_local $var$1)
             (i32.const 0)
           )
-          (i32.const 255)
+          (i32.const -1)
           (i32.const 0)
         )
       )
@@ -32012,7 +32012,7 @@
       )
     )
   )
-  (func $_llvm_cttz_i32 (param $var$0 i32) (result i32)
+  (func $_llvm_cttz_i32 (type $1) (param $var$0 i32) (result i32)
     (local $var$1 i32)
     (block $label$0
       (set_local $var$1
@@ -32109,7 +32109,7 @@
       )
     )
   )
-  (func $___muldsi3 (param $var$0 i32) (param $var$1 i32) (result i32)
+  (func $___muldsi3 (type $5) (param $var$0 i32) (param $var$1 i32) (result i32)
     (local $var$2 i32)
     (local $var$3 i32)
     (local $var$4 i32)
@@ -32211,7 +32211,7 @@
       )
     )
   )
-  (func $___divdi3 (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (param $var$3 i32) (result i32)
+  (func $___divdi3 (type $12) (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (param $var$3 i32) (result i32)
     (local $var$4 i32)
     (local $var$5 i32)
     (local $var$6 i32)
@@ -32236,7 +32236,7 @@
                 (get_local $var$1)
                 (i32.const 0)
               )
-              (i32.const 255)
+              (i32.const -1)
               (i32.const 0)
             )
             (i32.const 1)
@@ -32251,7 +32251,7 @@
                 (get_local $var$1)
                 (i32.const 0)
               )
-              (i32.const 255)
+              (i32.const -1)
               (i32.const 0)
             )
             (i32.const 31)
@@ -32262,7 +32262,7 @@
                 (get_local $var$1)
                 (i32.const 0)
               )
-              (i32.const 255)
+              (i32.const -1)
               (i32.const 0)
             )
             (i32.const 1)
@@ -32281,7 +32281,7 @@
                 (get_local $var$3)
                 (i32.const 0)
               )
-              (i32.const 255)
+              (i32.const -1)
               (i32.const 0)
             )
             (i32.const 1)
@@ -32296,7 +32296,7 @@
                 (get_local $var$3)
                 (i32.const 0)
               )
-              (i32.const 255)
+              (i32.const -1)
               (i32.const 0)
             )
             (i32.const 31)
@@ -32307,7 +32307,7 @@
                 (get_local $var$3)
                 (i32.const 0)
               )
-              (i32.const 255)
+              (i32.const -1)
               (i32.const 0)
             )
             (i32.const 1)
@@ -32389,7 +32389,7 @@
       (get_local $var$14)
     )
   )
-  (func $___remdi3 (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (param $var$3 i32) (result i32)
+  (func $___remdi3 (type $12) (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (param $var$3 i32) (result i32)
     (local $var$4 i32)
     (local $var$5 i32)
     (local $var$6 i32)
@@ -32431,7 +32431,7 @@
                 (get_local $var$1)
                 (i32.const 0)
               )
-              (i32.const 255)
+              (i32.const -1)
               (i32.const 0)
             )
             (i32.const 1)
@@ -32446,7 +32446,7 @@
                 (get_local $var$1)
                 (i32.const 0)
               )
-              (i32.const 255)
+              (i32.const -1)
               (i32.const 0)
             )
             (i32.const 31)
@@ -32457,7 +32457,7 @@
                 (get_local $var$1)
                 (i32.const 0)
               )
-              (i32.const 255)
+              (i32.const -1)
               (i32.const 0)
             )
             (i32.const 1)
@@ -32476,7 +32476,7 @@
                 (get_local $var$3)
                 (i32.const 0)
               )
-              (i32.const 255)
+              (i32.const -1)
               (i32.const 0)
             )
             (i32.const 1)
@@ -32491,7 +32491,7 @@
                 (get_local $var$3)
                 (i32.const 0)
               )
-              (i32.const 255)
+              (i32.const -1)
               (i32.const 0)
             )
             (i32.const 31)
@@ -32502,7 +32502,7 @@
                 (get_local $var$3)
                 (i32.const 0)
               )
-              (i32.const 255)
+              (i32.const -1)
               (i32.const 0)
             )
             (i32.const 1)
@@ -32590,7 +32590,7 @@
       )
     )
   )
-  (func $___muldi3 (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (param $var$3 i32) (result i32)
+  (func $___muldi3 (type $12) (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (param $var$3 i32) (result i32)
     (local $var$4 i32)
     (local $var$5 i32)
     (local $var$6 i32)
@@ -32644,13 +32644,13 @@
           (i32.const 0)
           (i32.and
             (get_local $var$6)
-            (i32.const 255)
+            (i32.const -1)
           )
         )
       )
     )
   )
-  (func $___udivdi3 (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (param $var$3 i32) (result i32)
+  (func $___udivdi3 (type $12) (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (param $var$3 i32) (result i32)
     (local $var$4 i32)
     (block $label$0
       (set_local $var$4
@@ -32665,7 +32665,7 @@
       (get_local $var$4)
     )
   )
-  (func $___uremdi3 (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (param $var$3 i32) (result i32)
+  (func $___uremdi3 (type $12) (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (param $var$3 i32) (result i32)
     (local $var$4 i32)
     (local $var$5 i32)
     (block $label$0
@@ -32713,7 +32713,7 @@
       )
     )
   )
-  (func $___udivmoddi4 (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (param $var$3 i32) (param $var$4 i32) (result i32)
+  (func $___udivmoddi4 (type $9) (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (param $var$3 i32) (param $var$4 i32) (result i32)
     (local $var$5 i32)
     (local $var$6 i32)
     (local $var$7 i32)
@@ -32896,7 +32896,7 @@
                 (get_local $var$4)
                 (i32.and
                   (get_local $var$0)
-                  (i32.const 255)
+                  (i32.const -1)
                 )
               )
               (i32.store align=4
@@ -33091,7 +33091,7 @@
                         (i32.const 0)
                         (i32.and
                           (get_local $var$0)
-                          (i32.const 255)
+                          (i32.const -1)
                         )
                       )
                     )
@@ -33240,7 +33240,7 @@
                 (i32.const 0)
                 (i32.and
                   (get_local $var$0)
-                  (i32.const 255)
+                  (i32.const -1)
                 )
               )
             )
@@ -33397,7 +33397,7 @@
                     (i32.const 0)
                     (i32.and
                       (get_local $var$0)
-                      (i32.const 255)
+                      (i32.const -1)
                     )
                   )
                 )
@@ -33630,7 +33630,7 @@
                     (i32.const 0)
                     (i32.and
                       (get_local $var$0)
-                      (i32.const 255)
+                      (i32.const -1)
                     )
                   )
                 )
@@ -33725,7 +33725,7 @@
               (i32.const 0)
               (i32.and
                 (get_local $var$2)
-                (i32.const 255)
+                (i32.const -1)
               )
             )
           )
@@ -33742,8 +33742,8 @@
             (call $_i64Add
               (get_local $var$37)
               (get_local $var$38)
-              (i32.const 255)
-              (i32.const 255)
+              (i32.const -1)
+              (i32.const -1)
             )
           )
           (set_local $var$40
@@ -33842,7 +33842,7 @@
                         (get_local $var$51)
                         (i32.const 0)
                       )
-                      (i32.const 255)
+                      (i32.const -1)
                       (i32.const 0)
                     )
                     (i32.const 1)
@@ -33871,7 +33871,7 @@
                             (get_local $var$51)
                             (i32.const 0)
                           )
-                          (i32.const 255)
+                          (i32.const -1)
                           (i32.const 0)
                         )
                         (i32.const 31)
@@ -33882,7 +33882,7 @@
                             (get_local $var$51)
                             (i32.const 0)
                           )
-                          (i32.const 255)
+                          (i32.const -1)
                           (i32.const 0)
                         )
                         (i32.const 1)
@@ -34036,7 +34036,7 @@
                 (i32.const 31)
               )
             )
-            (i32.const 254)
+            (i32.const -2)
           )
           (get_local $var$58)
         )
@@ -34050,7 +34050,7 @@
       )
     )
   )
-  (func $dynCall_ii (param $var$0 i32) (param $var$1 i32) (result i32)
+  (func $dynCall_ii (type $5) (param $var$0 i32) (param $var$1 i32) (result i32)
     (call_indirect $1
       (i32.add
         (i32.and
@@ -34062,7 +34062,7 @@
       (get_local $var$1)
     )
   )
-  (func $dynCall_iiii (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (param $var$3 i32) (result i32)
+  (func $dynCall_iiii (type $12) (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (param $var$3 i32) (result i32)
     (call_indirect $0
       (i32.add
         (i32.and
@@ -34076,7 +34076,7 @@
       (get_local $var$3)
     )
   )
-  (func $dynCall_vi (param $var$0 i32) (param $var$1 i32)
+  (func $dynCall_vi (type $6) (param $var$0 i32) (param $var$1 i32)
     (call_indirect $2
       (i32.add
         (i32.and
@@ -34088,7 +34088,7 @@
       (get_local $var$1)
     )
   )
-  (func $b0 (param $var$0 i32) (result i32)
+  (func $b0 (type $1) (param $var$0 i32) (result i32)
     (block $label$0
       (call_import $nullFunc_ii
         (i32.const 0)
@@ -34096,7 +34096,7 @@
       (i32.const 0)
     )
   )
-  (func $b1 (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (result i32)
+  (func $b1 (type $0) (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (result i32)
     (block $label$0
       (call_import $nullFunc_iiii
         (i32.const 1)
@@ -34104,7 +34104,7 @@
       (i32.const 0)
     )
   )
-  (func $b2 (param $var$0 i32)
+  (func $b2 (type $2) (param $var$0 i32)
     (call_import $nullFunc_vi
       (i32.const 2)
     )
diff --git a/test/hello_world.wast.fromBinary b/test/hello_world.wast.fromBinary
index 7f2e65239..74331f60c 100644
--- a/test/hello_world.wast.fromBinary
+++ b/test/hello_world.wast.fromBinary
@@ -2,7 +2,7 @@
   (memory 16777216 16777216)
   (type $0 (func (param i32 i32) (result i32)))
   (export "add" $add)
-  (func $add (param $var$0 i32) (param $var$1 i32) (result i32)
+  (func $add (type $0) (param $var$0 i32) (param $var$1 i32) (result i32)
     (i32.add
       (get_local $var$0)
       (get_local $var$1)
diff --git a/test/kitchen_sink.wast.fromBinary b/test/kitchen_sink.wast.fromBinary
index 1000fc759..473161af7 100644
--- a/test/kitchen_sink.wast.fromBinary
+++ b/test/kitchen_sink.wast.fromBinary
@@ -1,7 +1,9 @@
 (module
-  (memory 4096 4096)
+  (memory 4096 4096
+    (segment 1026 "\14\00")
+  )
   (type $0 (func (result i32)))
-  (func $kitchensink (result i32)
+  (func $kitchensink (type $0) (result i32)
     (block $label$0
       (i32.add
         (i32.const 10)
@@ -351,31 +353,31 @@
         (f64.const 10)
         (f64.const 10)
       )
-      (f32.convert_s/i32
+      (i32.trunc_s/f32
         (f32.const 10)
       )
-      (f64.convert_s/i32
+      (i32.trunc_s/f64
         (f64.const 10)
       )
-      (f32.convert_u/i32
+      (i32.trunc_u/f32
         (f32.const 10)
       )
-      (f64.convert_u/i32
+      (i32.trunc_u/f64
         (f64.const 10)
       )
       (i32.wrap/i64
         (i64.const 100)
       )
-      (f32.convert_s/i64
+      (i64.trunc_s/f32
         (f32.const 10)
       )
-      (f64.convert_s/i64
+      (i64.trunc_s/f64
         (f64.const 10)
       )
-      (f32.convert_u/i64
+      (i64.trunc_u/f32
         (f32.const 10)
       )
-      (f64.convert_u/i64
+      (i64.trunc_u/f64
         (f64.const 10)
       )
       (i64.extend_s/i32
@@ -390,7 +392,7 @@
       (f32.convert_u/i32
         (i32.const 10)
       )
-      (f32.convert_u/i64
+      (f32.convert_s/i64
         (i64.const 100)
       )
       (f32.convert_u/i64
@@ -408,7 +410,7 @@
       (f64.convert_u/i32
         (i32.const 10)
       )
-      (f64.convert_u/i64
+      (f64.convert_s/i64
         (i64.const 100)
       )
       (f64.convert_u/i64
diff --git a/test/llvm_autogenerated/i64-load-store-alignment.wast b/test/llvm_autogenerated/i64-load-store-alignment.wast
index 7f6903240..bd86f0512 100644
--- a/test/llvm_autogenerated/i64-load-store-alignment.wast
+++ b/test/llvm_autogenerated/i64-load-store-alignment.wast
@@ -155,7 +155,7 @@
     (block $fake_return_waka123
       (block
         (br $fake_return_waka123
-          (i64.load align=1
+          (i64.load32_u align=1
             (get_local $$0)
           )
         )
@@ -166,7 +166,7 @@
     (block $fake_return_waka123
       (block
         (br $fake_return_waka123
-          (i64.load align=2
+          (i64.load32_u align=2
             (get_local $$0)
           )
         )
@@ -177,7 +177,7 @@
     (block $fake_return_waka123
       (block
         (br $fake_return_waka123
-          (i64.load align=4
+          (i64.load32_u align=4
             (get_local $$0)
           )
         )
@@ -188,7 +188,7 @@
     (block $fake_return_waka123
       (block
         (br $fake_return_waka123
-          (i64.load align=8
+          (i64.load32_u align=8
             (get_local $$0)
           )
         )
diff --git a/test/llvm_autogenerated/immediates.wast b/test/llvm_autogenerated/immediates.wast
index 2a74f80e7..f4c6ad255 100644
--- a/test/llvm_autogenerated/immediates.wast
+++ b/test/llvm_autogenerated/immediates.wast
@@ -136,7 +136,7 @@
     (block $fake_return_waka123
       (block
         (br $fake_return_waka123
-          (f32.const nan)
+          (f32.const nan:0x400000)
         )
       )
     )
@@ -145,7 +145,7 @@
     (block $fake_return_waka123
       (block
         (br $fake_return_waka123
-          (f32.const -nan)
+          (f32.const -nan:0x400000)
         )
       )
     )
@@ -208,7 +208,7 @@
     (block $fake_return_waka123
       (block
         (br $fake_return_waka123
-          (f64.const nan)
+          (f64.const nan:0x8000000000000)
         )
       )
     )
@@ -217,7 +217,7 @@
     (block $fake_return_waka123
       (block
         (br $fake_return_waka123
-          (f64.const -nan)
+          (f64.const -nan:0x8000000000000)
         )
       )
     )
diff --git a/test/llvm_autogenerated/load-ext.wast b/test/llvm_autogenerated/load-ext.wast
index 7c54d6cec..100ac2001 100644
--- a/test/llvm_autogenerated/load-ext.wast
+++ b/test/llvm_autogenerated/load-ext.wast
@@ -102,7 +102,7 @@
     (block $fake_return_waka123
       (block
         (br $fake_return_waka123
-          (i64.load align=4
+          (i64.load32_s align=4
             (get_local $$0)
           )
         )
@@ -113,7 +113,7 @@
     (block $fake_return_waka123
       (block
         (br $fake_return_waka123
-          (i64.load align=4
+          (i64.load32_u align=4
             (get_local $$0)
           )
         )
diff --git a/test/min.wast.fromBinary b/test/min.wast.fromBinary
index 65e4d234e..22aba76b3 100644
--- a/test/min.wast.fromBinary
+++ b/test/min.wast.fromBinary
@@ -5,14 +5,14 @@
   (type $2 (func (param i32) (result i32)))
   (type $3 (func (param i32 i32 i32) (result i32)))
   (export "floats" $floats)
-  (func $floats (param $var$0 f32) (result f32)
+  (func $floats (type $0) (param $var$0 f32) (result f32)
     (local $var$1 f32)
     (f32.add
       (get_local $var$1)
       (get_local $var$0)
     )
   )
-  (func $neg (param $var$0 i32) (param $var$1 i32)
+  (func $neg (type $1) (param $var$0 i32) (param $var$1 i32)
     (local $var$2 f32)
     (set_local $var$2
       (f32.neg
@@ -28,7 +28,7 @@
       )
     )
   )
-  (func $littleswitch (param $var$0 i32) (result i32)
+  (func $littleswitch (type $2) (param $var$0 i32) (result i32)
     (block $label$0
       (tableswitch $label$3
         (i32.sub
@@ -50,7 +50,7 @@
       (i32.const 0)
     )
   )
-  (func $f1 (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (result i32)
+  (func $f1 (type $3) (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (result i32)
     (block $label$0
       (get_local $var$2)
     )
diff --git a/test/s2wasm_known_binaryen_shell_test_failures.txt b/test/s2wasm_known_binaryen_shell_test_failures.txt
index abc1aff2b..6bcafafc5 100644
--- a/test/s2wasm_known_binaryen_shell_test_failures.txt
+++ b/test/s2wasm_known_binaryen_shell_test_failures.txt
@@ -40,7 +40,6 @@
 20050502-2.c.s.wast
 20050826-1.c.s.wast
 20051113-1.c.s.wast
-20060110-1.c.s.wast
 20060420-1.c.s.wast
 20060905-1.c.s.wast
 20060930-2.c.s.wast
@@ -77,7 +76,6 @@
 931110-1.c.s.wast
 941014-2.c.s.wast
 950710-1.c.s.wast
-950915-1.c.s.wast
 960215-1.c.s.wast
 960327-1.c.s.wast
 960405-1.c.s.wast
@@ -125,7 +123,6 @@ pr23047.c.s.wast
 pr27073.c.s.wast
 pr27260.c.s.wast
 pr27285.c.s.wast
-pr28403.c.s.wast
 pr28651.c.s.wast
 pr29006.c.s.wast
 pr32244-1.c.s.wast
@@ -188,7 +185,6 @@ pr57124.c.s.wast
 pr57131.c.s.wast
 pr57344-3.c.s.wast
 pr57344-4.c.s.wast
-pr57860.c.s.wast
 pr57877.c.s.wast
 pr58365.c.s.wast
 pr58419.c.s.wast
diff --git a/test/unit.wast.fromBinary b/test/unit.wast.fromBinary
index de479dea7..7c5e00b94 100644
--- a/test/unit.wast.fromBinary
+++ b/test/unit.wast.fromBinary
@@ -1,5 +1,7 @@
 (module
-  (memory 4096 4096)
+  (memory 4096 4096
+    (segment 1026 "\14\00")
+  )
   (type $0 (func (param f32)))
   (type $1 (func))
   (type $2 (func (param f64) (result i32)))
@@ -8,11 +10,11 @@
   (type $5 (func (result i32)))
   (type $6 (func (param i32) (result i32)))
   (import $_emscripten_asm_const_vi "env" "_emscripten_asm_const_vi")
-  (import $f64-to-int "env" "f64-to-int" (param f64) (result i32))
-  (import $f64-rem "env" "f64-rem" (param f64 f64) (result f64))
+  (import $f64-to-int "asm2wasm" "f64-to-int" (param f64) (result i32))
+  (import $f64-rem "asm2wasm" "f64-rem" (param f64 f64) (result f64))
   (export "big_negative" $big_negative)
   (table $z $big_negative $z $z $w $w $importedDoubles $w $z $cneg)
-  (func $big_negative
+  (func $big_negative (type $1)
     (local $var$0 f64)
     (block $label$0
       (set_local $var$0
@@ -32,7 +34,7 @@
       )
     )
   )
-  (func $importedDoubles (result f64)
+  (func $importedDoubles (type $4) (result f64)
     (local $var$0 f64)
     (block $label$0
       (set_local $var$0
@@ -84,7 +86,7 @@
       (f64.const 1.2)
     )
   )
-  (func $doubleCompares (param $var$0 f64) (param $var$1 f64) (result f64)
+  (func $doubleCompares (type $3) (param $var$0 f64) (param $var$1 f64) (result f64)
     (local $var$2 i32)
     (local $var$3 f64)
     (local $var$4 f64)
@@ -128,14 +130,14 @@
       (get_local $var$1)
     )
   )
-  (func $intOps (result i32)
+  (func $intOps (type $5) (result i32)
     (local $var$0 i32)
     (i32.eq
       (get_local $var$0)
       (i32.const 0)
     )
   )
-  (func $conversions
+  (func $conversions (type $1)
     (local $var$0 i32)
     (local $var$1 f64)
     (block $label$0
@@ -159,7 +161,7 @@
       )
     )
   )
-  (func $seq
+  (func $seq (type $1)
     (local $var$0 f64)
     (set_local $var$0
       (f64.sub
@@ -174,7 +176,7 @@
       )
     )
   )
-  (func $switcher (param $var$0 i32) (result i32)
+  (func $switcher (type $6) (param $var$0 i32) (result i32)
     (block $label$0
       (tableswitch $label$4
         (i32.sub
@@ -201,18 +203,18 @@
           (get_local $var$0)
           (i32.const 5)
         )
-        (table (case $label$5) (case $label$6) (case $label$6) (case $label$6) (case $label$6) (case $label$6) (case $label$6) (case $label$7)) (case $label$6)
-        (case $label$7
+        (table (case $label$6) (case $label$7) (case $label$7) (case $label$7) (case $label$7) (case $label$7) (case $label$7) (case $label$5)) (case $label$7)
+        (case $label$5
           (br $label$0
             (i32.const 121)
           )
         )
-        (case $label$5
+        (case $label$6
           (br $label$0
             (i32.const 51)
           )
         )
-        (case $label$6
+        (case $label$7
           (nop)
         )
       )
@@ -221,11 +223,11 @@
           (get_local $var$0)
           (i32.const 2)
         )
-        (table (case $label$9) (case $label$10) (case $label$10) (case $label$11) (case $label$10) (case $label$10) (case $label$10) (case $label$10) (case $label$12) (case $label$10) (case $label$13)) (case $label$10)
-        (case $label$13
+        (table (case $label$12) (case $label$13) (case $label$13) (case $label$11) (case $label$13) (case $label$13) (case $label$13) (case $label$13) (case $label$10) (case $label$13) (case $label$9)) (case $label$13)
+        (case $label$9
           (br $label$14)
         )
-        (case $label$12
+        (case $label$10
           (br $label$14)
         )
         (case $label$11
@@ -239,7 +241,7 @@
             (br $label$14)
           )
         )
-        (case $label$9
+        (case $label$12
           (block $label$19
             (loop $label$20 $label$21
               (block $label$22
@@ -250,40 +252,40 @@
             (br $label$14)
           )
         )
-        (case $label$10
+        (case $label$13
           (nop)
         )
       )
       (i32.const 0)
     )
   )
-  (func $blocker
+  (func $blocker (type $1)
     (block $label$0
       (br $label$0)
     )
   )
-  (func $frem (result f64)
+  (func $frem (type $4) (result f64)
     (call_import $f64-rem
       (f64.const 5.5)
       (f64.const 1.2)
     )
   )
-  (func $big_uint_div_u (result i32)
+  (func $big_uint_div_u (type $5) (result i32)
     (local $var$0 i32)
     (block $label$0
       (set_local $var$0
         (i32.and
           (i32.div_u
-            (i32.const 255)
+            (i32.const -1)
             (i32.const 2)
           )
-          (i32.const 255)
+          (i32.const -1)
         )
       )
       (get_local $var$0)
     )
   )
-  (func $fr (param $var$0 f32)
+  (func $fr (type $0) (param $var$0 f32)
     (local $var$1 f32)
     (local $var$2 f64)
     (block $label$0
@@ -297,10 +299,10 @@
       (f32.const 0)
     )
   )
-  (func $negZero (result f64)
+  (func $negZero (type $4) (result f64)
     (f64.const -0)
   )
-  (func $abs
+  (func $abs (type $1)
     (local $var$0 i32)
     (local $var$1 i32)
     (local $var$2 f32)
@@ -336,7 +338,7 @@
       )
     )
   )
-  (func $neg
+  (func $neg (type $1)
     (local $var$0 f32)
     (block $label$0
       (set_local $var$0
@@ -356,7 +358,7 @@
       )
     )
   )
-  (func $cneg (param $var$0 f32)
+  (func $cneg (type $0) (param $var$0 f32)
     (call_indirect $0
       (i32.add
         (i32.and
@@ -368,7 +370,7 @@
       (get_local $var$0)
     )
   )
-  (func $___syscall_ret
+  (func $___syscall_ret (type $1)
     (local $var$0 i32)
     (i32.gt_u
       (i32.shr_u
@@ -378,13 +380,13 @@
       (i32.const -4096)
     )
   )
-  (func $z
+  (func $z (type $1)
     (nop)
   )
-  (func $w
+  (func $w (type $1)
     (nop)
   )
-  (func $block_and_after (result i32)
+  (func $block_and_after (type $5) (result i32)
     (block $label$0
       (block $label$1
         (i32.const 1)