SafeHeap: Handle overflows when adding the pointer and the size (#6409)

E.g. loading 4 bytes from 2^32 - 2 should error: 2 bytes are past the maximum
address. Before this PR we added 2^32 - 2 + 4 and overflowed to 2, which we
saw as a low and safe address. This PR adds an extra check for an overflow in
that add.

Also add unreachables after calls to segfault(), which reduces the overhead of
the extra check here (the unreachable apparently allows VMs to see that
control flow ends, after the segfault() which is truly no-return).

Fixes emscripten-core/emscripten#21557

1 files changed, 3029 insertions, 1398 deletions

diff --git a/test/passes/safe-heap_low-memory-unused_enable-threads_enable-simd.txt b/test/passes/safe-heap_low-memory-unused_enable-threads_enable-simd.txt
index 02904abad..72b68f218 100644
--- a/test/passes/safe-heap_low-memory-unused_enable-threads_enable-simd.txt
+++ b/test/passes/safe-heap_low-memory-unused_enable-threads_enable-simd.txt
@@ -198,18 +198,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 1)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 1)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i32.shr_s
@@ -236,18 +243,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 1)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 1)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i32.load8_s
@@ -268,18 +282,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 1)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 1)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i32.atomic.load8_u
@@ -300,18 +321,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 1)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 1)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i32.load8_u
@@ -332,18 +360,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 2)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 2)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i32.load16_s align=1
@@ -364,18 +399,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 2)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 2)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -411,18 +453,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 2)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 2)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -452,18 +501,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 2)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 2)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i32.load16_u align=1
@@ -484,18 +540,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 2)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 2)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -525,18 +588,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 2)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 2)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -566,18 +636,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i32.load align=1
@@ -598,18 +675,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -639,18 +723,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -680,18 +771,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -721,18 +819,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 1)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 1)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i64.shr_s
@@ -759,18 +864,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 1)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 1)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i64.load8_s
@@ -791,18 +903,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 1)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 1)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i64.atomic.load8_u
@@ -823,18 +942,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 1)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 1)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i64.load8_u
@@ -855,18 +981,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 2)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 2)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i64.load16_s align=1
@@ -887,18 +1020,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 2)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 2)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -934,18 +1074,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 2)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 2)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -975,18 +1122,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 2)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 2)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i64.load16_u align=1
@@ -1007,18 +1161,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 2)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 2)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -1048,18 +1209,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 2)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 2)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -1089,18 +1257,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i64.load32_s align=1
@@ -1121,18 +1296,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -1162,18 +1344,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -1209,18 +1398,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -1250,18 +1446,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i64.load32_u align=1
@@ -1282,18 +1485,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -1323,18 +1533,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -1364,18 +1581,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -1405,18 +1629,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 8)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 8)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i64.load align=1
@@ -1437,18 +1668,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 8)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 8)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -1478,18 +1716,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 8)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 8)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -1519,18 +1764,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 8)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 8)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -1560,18 +1812,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 8)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 8)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -1601,18 +1860,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (f32.load align=1
@@ -1633,18 +1899,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -1674,18 +1947,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -1715,18 +1995,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 8)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 8)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (f64.load align=1
@@ -1747,18 +2034,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 8)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 8)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -1788,18 +2082,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 8)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 8)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -1829,18 +2130,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 8)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 8)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -1870,18 +2178,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 16)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 16)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (v128.load align=1
@@ -1902,18 +2217,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 16)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 16)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -1943,18 +2265,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 16)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 16)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -1984,18 +2313,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 16)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 16)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -2025,18 +2361,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 16)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 16)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -2066,18 +2409,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 1)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 1)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i32.atomic.store8
@@ -2099,18 +2449,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 1)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 1)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i32.store8
@@ -2132,18 +2489,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 2)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 2)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i32.store16 align=1
@@ -2165,18 +2529,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 2)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 2)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -2207,18 +2578,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 2)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 2)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -2249,18 +2627,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i32.store align=1
@@ -2282,18 +2667,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -2324,18 +2716,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -2366,18 +2765,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -2408,18 +2814,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 1)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 1)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i64.atomic.store8
@@ -2441,18 +2854,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 1)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 1)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i64.store8
@@ -2474,18 +2894,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 2)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 2)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i64.store16 align=1
@@ -2507,18 +2934,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 2)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 2)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -2549,18 +2983,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 2)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 2)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -2591,18 +3032,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i64.store32 align=1
@@ -2624,18 +3072,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -2666,18 +3121,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -2708,18 +3170,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -2750,18 +3219,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 8)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 8)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i64.store align=1
@@ -2783,18 +3259,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 8)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 8)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -2825,18 +3308,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 8)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 8)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -2867,18 +3357,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 8)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 8)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -2909,18 +3406,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 8)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 8)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -2951,18 +3455,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (f32.store align=1
@@ -2984,18 +3495,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -3026,18 +3544,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -3068,18 +3593,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 8)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 8)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (f64.store align=1
@@ -3101,18 +3633,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 8)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 8)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -3143,18 +3682,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 8)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 8)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -3185,18 +3731,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 8)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 8)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -3227,18 +3780,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 16)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 16)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (v128.store align=1
@@ -3260,18 +3820,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 16)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 16)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -3302,18 +3869,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 16)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 16)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -3344,18 +3918,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 16)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 16)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -3386,18 +3967,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 16)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 16)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -3454,18 +4042,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 1)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 1)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i32.load8_s
@@ -3486,18 +4081,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 1)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 1)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i32.load8_u
@@ -3518,18 +4120,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 2)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 2)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i32.load16_s align=1
@@ -3550,18 +4159,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 2)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 2)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -3591,18 +4207,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 2)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 2)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i32.load16_u align=1
@@ -3623,18 +4246,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 2)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 2)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -3664,18 +4294,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i32.load align=1
@@ -3696,18 +4333,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -3737,18 +4381,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -3778,18 +4429,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 1)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 1)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i64.load8_s
@@ -3810,18 +4468,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 1)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 1)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i64.load8_u
@@ -3842,18 +4507,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 2)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 2)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i64.load16_s align=1
@@ -3874,18 +4546,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 2)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 2)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -3915,18 +4594,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 2)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 2)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i64.load16_u align=1
@@ -3947,18 +4633,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 2)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 2)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -3988,18 +4681,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i64.load32_s align=1
@@ -4020,18 +4720,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -4061,18 +4768,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -4102,18 +4816,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i64.load32_u align=1
@@ -4134,18 +4855,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -4175,18 +4903,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -4216,18 +4951,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 8)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 8)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i64.load align=1
@@ -4248,18 +4990,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 8)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 8)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -4289,18 +5038,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 8)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 8)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -4330,18 +5086,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 8)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 8)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -4371,18 +5134,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (f32.load align=1
@@ -4403,18 +5173,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -4444,18 +5221,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -4485,18 +5269,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 8)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 8)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (f64.load align=1
@@ -4517,18 +5308,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 8)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 8)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -4558,18 +5356,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 8)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 8)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -4599,18 +5404,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 8)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 8)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -4640,18 +5452,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 16)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 16)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (v128.load align=1
@@ -4672,18 +5491,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 16)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 16)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -4713,18 +5539,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 16)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 16)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -4754,18 +5587,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 16)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 16)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -4795,18 +5635,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 16)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 16)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -4836,18 +5683,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 1)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 1)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i32.store8
@@ -4869,18 +5723,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 2)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 2)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i32.store16 align=1
@@ -4902,18 +5763,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 2)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 2)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -4944,18 +5812,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i32.store align=1
@@ -4977,18 +5852,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -5019,18 +5901,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -5061,18 +5950,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 1)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 1)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i64.store8
@@ -5094,18 +5990,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 2)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 2)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i64.store16 align=1
@@ -5127,18 +6030,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 2)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 2)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -5169,18 +6079,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i64.store32 align=1
@@ -5202,18 +6119,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -5244,18 +6168,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -5286,18 +6217,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 8)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 8)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i64.store align=1
@@ -5319,18 +6257,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 8)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 8)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -5361,18 +6306,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 8)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 8)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -5403,18 +6355,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 8)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 8)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -5445,18 +6404,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (f32.store align=1
@@ -5478,18 +6444,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -5520,18 +6493,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -5562,18 +6542,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 8)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 8)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (f64.store align=1
@@ -5595,18 +6582,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 8)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 8)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -5637,18 +6631,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 8)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 8)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -5679,18 +6680,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 8)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 8)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -5721,18 +6729,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 16)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 16)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (v128.store align=1
@@ -5754,18 +6769,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 16)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 16)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -5796,18 +6818,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 16)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 16)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -5838,18 +6867,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 16)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 16)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -5880,18 +6916,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 16)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 16)
+      )
+      (i32.load
+       (call $emscripten_get_sbrk_ptr)
+      )
      )
-     (i32.load
-      (call $emscripten_get_sbrk_ptr)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -5953,18 +6996,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 1)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 1)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i32.shr_s
@@ -5991,18 +7041,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 1)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 1)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i32.load8_s
@@ -6023,18 +7080,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 1)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 1)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i32.atomic.load8_u
@@ -6055,18 +7119,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 1)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 1)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i32.load8_u
@@ -6087,18 +7158,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 2)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 2)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i32.load16_s align=1
@@ -6119,18 +7197,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 2)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 2)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -6166,18 +7251,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 2)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 2)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -6207,18 +7299,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 2)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 2)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i32.load16_u align=1
@@ -6239,18 +7338,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 2)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 2)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -6280,18 +7386,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 2)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 2)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -6321,18 +7434,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i32.load align=1
@@ -6353,18 +7473,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -6394,18 +7521,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -6435,18 +7569,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -6476,18 +7617,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 1)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 1)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i64.shr_s
@@ -6514,18 +7662,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 1)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 1)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i64.load8_s
@@ -6546,18 +7701,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 1)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 1)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i64.atomic.load8_u
@@ -6578,18 +7740,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 1)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 1)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i64.load8_u
@@ -6610,18 +7779,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 2)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 2)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i64.load16_s align=1
@@ -6642,18 +7818,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 2)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 2)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -6689,18 +7872,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 2)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 2)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -6730,18 +7920,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 2)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 2)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i64.load16_u align=1
@@ -6762,18 +7959,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 2)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 2)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -6803,18 +8007,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 2)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 2)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -6844,18 +8055,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i64.load32_s align=1
@@ -6876,18 +8094,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -6917,18 +8142,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -6964,18 +8196,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -7005,18 +8244,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i64.load32_u align=1
@@ -7037,18 +8283,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -7078,18 +8331,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -7119,18 +8379,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -7160,18 +8427,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 8)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 8)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i64.load align=1
@@ -7192,18 +8466,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 8)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 8)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -7233,18 +8514,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 8)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 8)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -7274,18 +8562,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 8)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 8)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -7315,18 +8610,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 8)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 8)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -7356,18 +8658,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (f32.load align=1
@@ -7388,18 +8697,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -7429,18 +8745,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -7470,18 +8793,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 8)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 8)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (f64.load align=1
@@ -7502,18 +8832,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 8)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 8)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -7543,18 +8880,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 8)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 8)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -7584,18 +8928,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 8)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 8)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -7625,18 +8976,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 16)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 16)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (v128.load align=1
@@ -7657,18 +9015,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 16)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 16)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -7698,18 +9063,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 16)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 16)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -7739,18 +9111,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 16)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 16)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -7780,18 +9159,25 @@
      (local.get $2)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $2)
-      (i32.const 16)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $2)
+       (i32.const 16)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $2)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -7821,18 +9207,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 1)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 1)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i32.atomic.store8
@@ -7854,18 +9247,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 1)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 1)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i32.store8
@@ -7887,18 +9287,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 2)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 2)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i32.store16 align=1
@@ -7920,18 +9327,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 2)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 2)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -7962,18 +9376,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 2)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 2)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -8004,18 +9425,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i32.store align=1
@@ -8037,18 +9465,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -8079,18 +9514,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -8121,18 +9563,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -8163,18 +9612,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 1)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 1)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i64.atomic.store8
@@ -8196,18 +9652,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 1)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 1)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i64.store8
@@ -8229,18 +9692,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 2)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 2)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i64.store16 align=1
@@ -8262,18 +9732,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 2)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 2)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -8304,18 +9781,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 2)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 2)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -8346,18 +9830,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i64.store32 align=1
@@ -8379,18 +9870,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -8421,18 +9919,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -8463,18 +9968,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -8505,18 +10017,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 8)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 8)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (i64.store align=1
@@ -8538,18 +10057,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 8)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 8)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -8580,18 +10106,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 8)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 8)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -8622,18 +10155,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 8)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 8)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -8664,18 +10204,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 8)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 8)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -8706,18 +10253,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (f32.store align=1
@@ -8739,18 +10293,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -8781,18 +10342,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 4)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 4)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -8823,18 +10391,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 8)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 8)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (f64.store align=1
@@ -8856,18 +10431,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 8)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 8)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -8898,18 +10480,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 8)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 8)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -8940,18 +10529,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 8)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 8)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -8982,18 +10578,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 16)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 16)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (v128.store align=1
@@ -9015,18 +10618,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 16)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 16)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -9057,18 +10667,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 16)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 16)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -9099,18 +10716,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 16)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 16)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if
@@ -9141,18 +10765,25 @@
      (local.get $3)
      (i32.const 1024)
     )
-    (i32.gt_u
-     (i32.add
-      (local.get $3)
-      (i32.const 16)
+    (i32.or
+     (i32.gt_u
+      (i32.add
+       (local.get $3)
+       (i32.const 16)
+      )
+      (i32.load
+       (call $foo)
+      )
      )
-     (i32.load
-      (call $foo)
+     (i32.lt_u
+      (local.get $3)
+      (local.get $0)
      )
     )
    )
    (then
     (call $segfault)
+    (unreachable)
    )
   )
   (if