Update testsuite (#1275)

The two primary changes involved are:

1. Removal of `assert_return_canonical_nan`/`arithetic nan` in favor of
   special `nan:canonical`/`nan:arithmetic` constants that can only be
   used in test expectations.
   See: https://github.com/WebAssembly/spec/pull/1104

2. New trapping behaviour for bulk memory operations.  Range checks are
   now performed up front for opterations such as memory.fill and
   memory.copy.
   See: https://github.com/webassembly/bulk-memory-operations/issues/111
   And: https://github.com/webassembly/bulk-memory-operations/pull/123
   The old behaviour is still kept around to support table.fill which
   is defined in reference-types proposal and has yet to be updated.

8 files changed, 593 insertions, 588 deletions

diff --git a/test/spec/bulk-memory-operations/bulk.txt b/test/spec/bulk-memory-operations/bulk.txt
index 8e615032..9ae4a80e 100644
--- a/test/spec/bulk-memory-operations/bulk.txt
+++ b/test/spec/bulk-memory-operations/bulk.txt
@@ -7,7 +7,7 @@ fill(i32:0, i32:48042, i32:2) =>
 fill(i32:0, i32:0, i32:65536) =>
 out/test/spec/bulk-memory-operations/bulk.wast:43: assert_trap passed: out of bounds memory access: memory.fill out of bounds
 fill(i32:65536, i32:0, i32:0) =>
-fill(i32:65537, i32:0, i32:0) =>
+out/test/spec/bulk-memory-operations/bulk.wast:52: assert_trap passed: out of bounds memory access: memory.fill out of bounds
 copy(i32:10, i32:0, i32:4) =>
 copy(i32:8, i32:10, i32:4) =>
 copy(i32:10, i32:7, i32:6) =>
@@ -15,36 +15,40 @@ copy(i32:65280, i32:0, i32:256) =>
 copy(i32:65024, i32:65280, i32:256) =>
 copy(i32:65536, i32:0, i32:0) =>
 copy(i32:0, i32:65536, i32:0) =>
-copy(i32:65537, i32:0, i32:0) =>
-copy(i32:0, i32:65537, i32:0) =>
+out/test/spec/bulk-memory-operations/bulk.wast:108: assert_trap passed: out of bounds memory access: memory.copy out of bound
+out/test/spec/bulk-memory-operations/bulk.wast:110: assert_trap passed: out of bounds memory access: memory.copy out of bound
 init(i32:0, i32:1, i32:2) =>
 init(i32:65532, i32:0, i32:4) =>
-out/test/spec/bulk-memory-operations/bulk.wast:135: assert_trap passed: out of bounds memory access: memory.init out of bounds
+out/test/spec/bulk-memory-operations/bulk.wast:138: assert_trap passed: out of bounds memory access: memory.init out of bounds
 init(i32:65536, i32:0, i32:0) =>
 init(i32:0, i32:4, i32:0) =>
-init(i32:65537, i32:0, i32:0) =>
-init(i32:0, i32:5, i32:0) =>
+out/test/spec/bulk-memory-operations/bulk.wast:148: assert_trap passed: out of bounds memory access: memory.init out of bounds
+out/test/spec/bulk-memory-operations/bulk.wast:150: assert_trap passed: out of bounds memory access: memory.init out of bounds
 init_passive(i32:1) =>
 drop_passive() =>
-out/test/spec/bulk-memory-operations/bulk.wast:165: assert_trap passed: data segment dropped
-out/test/spec/bulk-memory-operations/bulk.wast:167: assert_trap passed: data segment dropped
-out/test/spec/bulk-memory-operations/bulk.wast:168: assert_trap passed: data segment dropped
-out/test/spec/bulk-memory-operations/bulk.wast:170: assert_trap passed: data segment dropped
-out/test/spec/bulk-memory-operations/bulk.wast:194: assert_trap passed: out of bounds table access: table.init out of bounds
-out/test/spec/bulk-memory-operations/bulk.wast:196: assert_trap passed: uninitialized table element
+drop_passive() =>
+out/test/spec/bulk-memory-operations/bulk.wast:172: assert_trap passed: out of bounds memory access: memory.init out of bounds
+init_passive(i32:0) =>
+drop_active() =>
+out/test/spec/bulk-memory-operations/bulk.wast:176: assert_trap passed: out of bounds memory access: memory.init out of bounds
+init_active(i32:0) =>
+out/test/spec/bulk-memory-operations/bulk.wast:201: assert_trap passed: out of bounds table access: table.init out of bounds
+out/test/spec/bulk-memory-operations/bulk.wast:203: assert_trap passed: uninitialized table element
 init(i32:0, i32:1, i32:2) =>
-out/test/spec/bulk-memory-operations/bulk.wast:202: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/bulk.wast:209: assert_trap passed: uninitialized table element
 init(i32:1, i32:2, i32:2) =>
 init(i32:3, i32:0, i32:0) =>
 init(i32:0, i32:4, i32:0) =>
-init(i32:4, i32:0, i32:0) =>
-init(i32:0, i32:5, i32:0) =>
+out/test/spec/bulk-memory-operations/bulk.wast:219: assert_trap passed: out of bounds table access: table.init out of bounds
+out/test/spec/bulk-memory-operations/bulk.wast:221: assert_trap passed: out of bounds table access: table.init out of bounds
 init_passive(i32:1) =>
 drop_passive() =>
-out/test/spec/bulk-memory-operations/bulk.wast:236: assert_trap passed: element segment dropped
-out/test/spec/bulk-memory-operations/bulk.wast:238: assert_trap passed: element segment dropped
-out/test/spec/bulk-memory-operations/bulk.wast:239: assert_trap passed: element segment dropped
-out/test/spec/bulk-memory-operations/bulk.wast:241: assert_trap passed: element segment dropped
+drop_passive() =>
+out/test/spec/bulk-memory-operations/bulk.wast:247: assert_trap passed: out of bounds table access: table.init out of bounds
+init_passive(i32:0) =>
+drop_active() =>
+out/test/spec/bulk-memory-operations/bulk.wast:251: assert_trap passed: out of bounds table access: table.init out of bounds
+init_active(i32:0) =>
 copy(i32:3, i32:0, i32:3) =>
 copy(i32:0, i32:1, i32:3) =>
 copy(i32:2, i32:0, i32:3) =>
@@ -52,7 +56,7 @@ copy(i32:6, i32:8, i32:2) =>
 copy(i32:8, i32:6, i32:2) =>
 copy(i32:10, i32:0, i32:0) =>
 copy(i32:0, i32:10, i32:0) =>
-copy(i32:11, i32:0, i32:0) =>
-copy(i32:0, i32:11, i32:0) =>
-100/100 tests passed.
+out/test/spec/bulk-memory-operations/bulk.wast:304: assert_trap passed: out of bounds table access: table.copy out of bounds
+out/test/spec/bulk-memory-operations/bulk.wast:306: assert_trap passed: out of bounds table access: table.copy out of bounds
+104/104 tests passed.
 ;;; STDOUT ;;)
diff --git a/test/spec/bulk-memory-operations/data.txt b/test/spec/bulk-memory-operations/data.txt
index 1b9f5004..7618122a 100644
--- a/test/spec/bulk-memory-operations/data.txt
+++ b/test/spec/bulk-memory-operations/data.txt
@@ -2,19 +2,17 @@
 ;;; STDIN_FILE: third_party/testsuite/proposals/bulk-memory-operations/data.wast
 ;;; ARGS*: --enable-bulk-memory
 (;; STDOUT ;;;
-error initializing module: out of bounds memory access: data segment is out of bounds: [1, 1) >= max value 0
-error initializing module: out of bounds memory access: data segment is out of bounds: [1, 1) >= max value 0
-out/test/spec/bulk-memory-operations/data.wast:290: assert_invalid passed:
+out/test/spec/bulk-memory-operations/data.wast:293: assert_invalid passed:
   000000e: error: data section without memory section
-out/test/spec/bulk-memory-operations/data.wast:299: assert_invalid passed:
+out/test/spec/bulk-memory-operations/data.wast:302: assert_invalid passed:
   0000016: error: expected i32 init_expr
-out/test/spec/bulk-memory-operations/data.wast:307: assert_invalid passed:
+out/test/spec/bulk-memory-operations/data.wast:310: assert_invalid passed:
   0000017: error: expected END opcode after initializer expression
-out/test/spec/bulk-memory-operations/data.wast:315: assert_invalid passed:
+out/test/spec/bulk-memory-operations/data.wast:318: assert_invalid passed:
   0000015: error: unexpected opcode in initializer expression: 0x1
-out/test/spec/bulk-memory-operations/data.wast:323: assert_invalid passed:
+out/test/spec/bulk-memory-operations/data.wast:326: assert_invalid passed:
   0000015: error: unexpected opcode in initializer expression: 0x1
-out/test/spec/bulk-memory-operations/data.wast:331: assert_invalid passed:
+out/test/spec/bulk-memory-operations/data.wast:334: assert_invalid passed:
   0000017: error: expected END opcode after initializer expression
-18/18 tests passed.
+20/20 tests passed.
 ;;; STDOUT ;;)
diff --git a/test/spec/bulk-memory-operations/elem.txt b/test/spec/bulk-memory-operations/elem.txt
index d04c65d6..b56ae0eb 100644
--- a/test/spec/bulk-memory-operations/elem.txt
+++ b/test/spec/bulk-memory-operations/elem.txt
@@ -2,19 +2,18 @@
 ;;; STDIN_FILE: third_party/testsuite/proposals/bulk-memory-operations/elem.wast
 ;;; ARGS*: --enable-bulk-memory
 (;; STDOUT ;;;
-error initializing module: out of bounds table access: elem segment is out of bounds: [1, 1) >= max value 0
-out/test/spec/bulk-memory-operations/elem.wast:299: assert_invalid passed:
+out/test/spec/bulk-memory-operations/elem.wast:300: assert_invalid passed:
   0000015: error: elem section without table section
-out/test/spec/bulk-memory-operations/elem.wast:309: assert_invalid passed:
+out/test/spec/bulk-memory-operations/elem.wast:310: assert_invalid passed:
   0000014: error: expected i32 init_expr
-out/test/spec/bulk-memory-operations/elem.wast:317: assert_invalid passed:
+out/test/spec/bulk-memory-operations/elem.wast:318: assert_invalid passed:
   0000015: error: expected END opcode after initializer expression
-out/test/spec/bulk-memory-operations/elem.wast:325: assert_invalid passed:
+out/test/spec/bulk-memory-operations/elem.wast:326: assert_invalid passed:
   0000013: error: unexpected opcode in initializer expression: 0x1
-out/test/spec/bulk-memory-operations/elem.wast:333: assert_invalid passed:
+out/test/spec/bulk-memory-operations/elem.wast:334: assert_invalid passed:
   0000013: error: unexpected opcode in initializer expression: 0x1
-out/test/spec/bulk-memory-operations/elem.wast:341: assert_invalid passed:
+out/test/spec/bulk-memory-operations/elem.wast:342: assert_invalid passed:
   0000015: error: expected END opcode after initializer expression
-out/test/spec/bulk-memory-operations/elem.wast:404: assert_trap passed: uninitialized table element
-30/30 tests passed.
+out/test/spec/bulk-memory-operations/elem.wast:405: assert_trap passed: uninitialized table element
+31/31 tests passed.
 ;;; STDOUT ;;)
diff --git a/test/spec/bulk-memory-operations/memory_copy.txt b/test/spec/bulk-memory-operations/memory_copy.txt
index fad932b3..dda46bb3 100644
--- a/test/spec/bulk-memory-operations/memory_copy.txt
+++ b/test/spec/bulk-memory-operations/memory_copy.txt
@@ -221,10 +221,11 @@ out/test/spec/bulk-memory-operations/memory_copy.wast:4830: assert_trap passed:
 out/test/spec/bulk-memory-operations/memory_copy.wast:4836: assert_trap passed: out of bounds memory access: memory.copy out of bound
 test() =>
 test() =>
+out/test/spec/bulk-memory-operations/memory_copy.wast:4872: assert_trap passed: out of bounds memory access: memory.copy out of bound
 test() =>
+out/test/spec/bulk-memory-operations/memory_copy.wast:4884: assert_trap passed: out of bounds memory access: memory.copy out of bound
 test() =>
+out/test/spec/bulk-memory-operations/memory_copy.wast:4896: assert_trap passed: out of bounds memory access: memory.copy out of bound
 test() =>
-test() =>
-test() =>
-4416/4416 tests passed.
+4417/4417 tests passed.
 ;;; STDOUT ;;)
diff --git a/test/spec/bulk-memory-operations/memory_fill.txt b/test/spec/bulk-memory-operations/memory_fill.txt
index adc8bc27..d1da6801 100644
--- a/test/spec/bulk-memory-operations/memory_fill.txt
+++ b/test/spec/bulk-memory-operations/memory_fill.txt
@@ -7,7 +7,7 @@ out/test/spec/bulk-memory-operations/memory_fill.wast:43: assert_trap passed: ou
 out/test/spec/bulk-memory-operations/memory_fill.wast:61: assert_trap passed: out of bounds memory access: memory.fill out of bounds
 test() =>
 test() =>
-test() =>
+out/test/spec/bulk-memory-operations/memory_fill.wast:117: assert_trap passed: out of bounds memory access: memory.fill out of bounds
 test() =>
 test() =>
 out/test/spec/bulk-memory-operations/memory_fill.wast:174: assert_invalid passed:
diff --git a/test/spec/bulk-memory-operations/memory_init.txt b/test/spec/bulk-memory-operations/memory_init.txt
index 2e138d71..61d459a8 100644
--- a/test/spec/bulk-memory-operations/memory_init.txt
+++ b/test/spec/bulk-memory-operations/memory_init.txt
@@ -12,9 +12,9 @@ out/test/spec/bulk-memory-operations/memory_init.wast:189: assert_invalid passed
 out/test/spec/bulk-memory-operations/memory_init.wast:195: assert_invalid passed:
   error: invalid data_segment_index: 4 (max 1)
   000002c: error: OnDataDropExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:208: assert_trap passed: data segment dropped
-out/test/spec/bulk-memory-operations/memory_init.wast:216: assert_trap passed: data segment dropped
-out/test/spec/bulk-memory-operations/memory_init.wast:223: assert_trap passed: data segment dropped
+test() =>
+out/test/spec/bulk-memory-operations/memory_init.wast:216: assert_trap passed: out of bounds memory access: memory.init out of bounds
+out/test/spec/bulk-memory-operations/memory_init.wast:223: assert_trap passed: out of bounds memory access: memory.init out of bounds
 out/test/spec/bulk-memory-operations/memory_init.wast:226: assert_invalid passed:
   error: memory.init requires an imported or defined memory.
   000002f: error: OnMemoryInitExpr callback failed
@@ -25,205 +25,206 @@ test() =>
 out/test/spec/bulk-memory-operations/memory_init.wast:252: assert_trap passed: out of bounds memory access: memory.init out of bounds
 out/test/spec/bulk-memory-operations/memory_init.wast:259: assert_trap passed: out of bounds memory access: memory.init out of bounds
 out/test/spec/bulk-memory-operations/memory_init.wast:266: assert_trap passed: out of bounds memory access: memory.init out of bounds
+out/test/spec/bulk-memory-operations/memory_init.wast:273: assert_trap passed: out of bounds memory access: memory.init out of bounds
 test() =>
+out/test/spec/bulk-memory-operations/memory_init.wast:287: assert_trap passed: out of bounds memory access: memory.init out of bounds
 test() =>
 test() =>
-test() =>
-test() =>
-out/test/spec/bulk-memory-operations/memory_init.wast:304: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:308: assert_trap passed: out of bounds memory access: memory.init out of bounds
+out/test/spec/bulk-memory-operations/memory_init.wast:311: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [i32, i32, f32]
   0000036: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:312: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:319: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [i32, i32, i64]
   0000033: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:320: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:327: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [i32, i32, f64]
   000003a: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:328: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:335: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [i32, f32, i32]
   0000036: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:336: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:343: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [i32, f32, f32]
   0000039: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:344: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:351: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [i32, f32, i64]
   0000036: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:352: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:359: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [i32, f32, f64]
   000003d: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:360: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:367: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [i32, i64, i32]
   0000033: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:368: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:375: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [i32, i64, f32]
   0000036: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:376: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:383: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [i32, i64, i64]
   0000033: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:384: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:391: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [i32, i64, f64]
   000003a: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:392: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:399: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [i32, f64, i32]
   000003a: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:400: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:407: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [i32, f64, f32]
   000003d: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:408: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:415: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [i32, f64, i64]
   000003a: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:416: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:423: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [i32, f64, f64]
   0000041: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:424: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:431: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [f32, i32, i32]
   0000036: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:432: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:439: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [f32, i32, f32]
   0000039: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:440: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:447: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [f32, i32, i64]
   0000036: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:448: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:455: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [f32, i32, f64]
   000003d: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:456: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:463: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [f32, f32, i32]
   0000039: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:464: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:471: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [f32, f32, f32]
   000003c: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:472: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:479: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [f32, f32, i64]
   0000039: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:480: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:487: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [f32, f32, f64]
   0000040: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:488: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:495: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [f32, i64, i32]
   0000036: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:496: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:503: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [f32, i64, f32]
   0000039: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:504: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:511: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [f32, i64, i64]
   0000036: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:512: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:519: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [f32, i64, f64]
   000003d: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:520: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:527: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [f32, f64, i32]
   000003d: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:528: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:535: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [f32, f64, f32]
   0000040: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:536: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:543: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [f32, f64, i64]
   000003d: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:544: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:551: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [f32, f64, f64]
   0000044: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:552: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:559: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [i64, i32, i32]
   0000033: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:560: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:567: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [i64, i32, f32]
   0000036: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:568: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:575: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [i64, i32, i64]
   0000033: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:576: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:583: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [i64, i32, f64]
   000003a: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:584: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:591: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [i64, f32, i32]
   0000036: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:592: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:599: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [i64, f32, f32]
   0000039: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:600: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:607: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [i64, f32, i64]
   0000036: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:608: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:615: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [i64, f32, f64]
   000003d: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:616: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:623: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [i64, i64, i32]
   0000033: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:624: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:631: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [i64, i64, f32]
   0000036: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:632: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:639: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [i64, i64, i64]
   0000033: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:640: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:647: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [i64, i64, f64]
   000003a: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:648: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:655: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [i64, f64, i32]
   000003a: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:656: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:663: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [i64, f64, f32]
   000003d: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:664: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:671: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [i64, f64, i64]
   000003a: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:672: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:679: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [i64, f64, f64]
   0000041: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:680: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:687: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [f64, i32, i32]
   000003a: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:688: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:695: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [f64, i32, f32]
   000003d: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:696: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:703: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [f64, i32, i64]
   000003a: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:704: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:711: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [f64, i32, f64]
   0000041: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:712: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:719: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [f64, f32, i32]
   000003d: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:720: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:727: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [f64, f32, f32]
   0000040: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:728: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:735: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [f64, f32, i64]
   000003d: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:736: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:743: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [f64, f32, f64]
   0000044: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:744: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:751: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [f64, i64, i32]
   000003a: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:752: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:759: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [f64, i64, f32]
   000003d: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:760: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:767: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [f64, i64, i64]
   000003a: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:768: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:775: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [f64, i64, f64]
   0000041: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:776: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:783: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [f64, f64, i32]
   0000041: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:784: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:791: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [f64, f64, f32]
   0000044: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:792: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:799: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [f64, f64, i64]
   0000041: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:800: assert_invalid passed:
+out/test/spec/bulk-memory-operations/memory_init.wast:807: assert_invalid passed:
   error: type mismatch in memory.init, expected [i32, i32, i32] but got [f64, f64, f64]
   0000048: error: OnMemoryInitExpr callback failed
-out/test/spec/bulk-memory-operations/memory_init.wast:825: assert_trap passed: out of bounds memory access: memory.init out of bounds
-out/test/spec/bulk-memory-operations/memory_init.wast:848: assert_trap passed: out of bounds memory access: memory.init out of bounds
-out/test/spec/bulk-memory-operations/memory_init.wast:871: assert_trap passed: out of bounds memory access: memory.init out of bounds
-out/test/spec/bulk-memory-operations/memory_init.wast:894: assert_trap passed: out of bounds memory access: memory.init out of bounds
-out/test/spec/bulk-memory-operations/memory_init.wast:917: assert_trap passed: out of bounds memory access: memory.init out of bounds
-out/test/spec/bulk-memory-operations/memory_init.wast:940: assert_trap passed: out of bounds memory access: memory.init out of bounds
-215/215 tests passed.
+out/test/spec/bulk-memory-operations/memory_init.wast:832: assert_trap passed: out of bounds memory access: memory.init out of bounds
+out/test/spec/bulk-memory-operations/memory_init.wast:855: assert_trap passed: out of bounds memory access: memory.init out of bounds
+out/test/spec/bulk-memory-operations/memory_init.wast:878: assert_trap passed: out of bounds memory access: memory.init out of bounds
+out/test/spec/bulk-memory-operations/memory_init.wast:901: assert_trap passed: out of bounds memory access: memory.init out of bounds
+out/test/spec/bulk-memory-operations/memory_init.wast:924: assert_trap passed: out of bounds memory access: memory.init out of bounds
+out/test/spec/bulk-memory-operations/memory_init.wast:947: assert_trap passed: out of bounds memory access: memory.init out of bounds
+216/216 tests passed.
 ;;; STDOUT ;;)
diff --git a/test/spec/bulk-memory-operations/table_copy.txt b/test/spec/bulk-memory-operations/table_copy.txt
index 452f7657..734cd9e5 100644
--- a/test/spec/bulk-memory-operations/table_copy.txt
+++ b/test/spec/bulk-memory-operations/table_copy.txt
@@ -183,125 +183,110 @@ out/test/spec/bulk-memory-operations/table_copy.wast:540: assert_trap passed: ou
 out/test/spec/bulk-memory-operations/table_copy.wast:564: assert_trap passed: out of bounds table access: table.copy out of bounds
 test() =>
 test() =>
+out/test/spec/bulk-memory-operations/table_copy.wast:636: assert_trap passed: out of bounds table access: table.copy out of bounds
 test() =>
+out/test/spec/bulk-memory-operations/table_copy.wast:684: assert_trap passed: out of bounds table access: table.copy out of bounds
 test() =>
-test() =>
-test() =>
-out/test/spec/bulk-memory-operations/table_copy.wast:736: assert_trap passed: out of bounds table access: table.copy out of bounds
-out/test/spec/bulk-memory-operations/table_copy.wast:746: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:747: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:748: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:749: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:750: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:751: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:752: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:753: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:754: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:755: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:756: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:757: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:758: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:759: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:760: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:761: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:762: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:763: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:764: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:765: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:766: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:767: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:768: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:769: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:797: assert_trap passed: out of bounds table access: table.copy out of bounds
-out/test/spec/bulk-memory-operations/table_copy.wast:808: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:809: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:810: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:811: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:812: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:813: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:814: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:815: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:816: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:817: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:818: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:819: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:820: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:821: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:822: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:823: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:824: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:825: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:826: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:827: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:828: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:829: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:830: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:858: assert_trap passed: out of bounds table access: table.copy out of bounds
-out/test/spec/bulk-memory-operations/table_copy.wast:860: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:861: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:862: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:863: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:864: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:865: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:866: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:867: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:868: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:869: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:870: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:871: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:872: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:873: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:874: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:875: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:876: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:877: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:878: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:879: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:880: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:881: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:882: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:883: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:919: assert_trap passed: out of bounds table access: table.copy out of bounds
-out/test/spec/bulk-memory-operations/table_copy.wast:921: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:922: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:923: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:924: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:925: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:926: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:927: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:928: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:929: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:930: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:931: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:932: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:933: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:934: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:935: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:936: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:937: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:938: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:939: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:940: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:941: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:942: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:943: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:980: assert_trap passed: out of bounds table access: table.copy out of bounds
-out/test/spec/bulk-memory-operations/table_copy.wast:982: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:983: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:984: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:985: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:986: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:987: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:988: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:989: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:990: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:991: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:992: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1001: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1002: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1003: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1004: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1005: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:732: assert_trap passed: out of bounds table access: table.copy out of bounds
+out/test/spec/bulk-memory-operations/table_copy.wast:760: assert_trap passed: out of bounds table access: table.copy out of bounds
+out/test/spec/bulk-memory-operations/table_copy.wast:770: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:771: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:772: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:773: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:774: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:775: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:776: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:777: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:778: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:779: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:780: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:781: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:782: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:783: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:784: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:785: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:786: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:787: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:788: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:789: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:790: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:791: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:792: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:793: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:821: assert_trap passed: out of bounds table access: table.copy out of bounds
+out/test/spec/bulk-memory-operations/table_copy.wast:832: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:833: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:834: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:835: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:836: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:837: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:838: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:839: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:840: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:841: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:842: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:843: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:844: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:845: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:846: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:847: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:848: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:849: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:850: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:851: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:852: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:853: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:854: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:882: assert_trap passed: out of bounds table access: table.copy out of bounds
+out/test/spec/bulk-memory-operations/table_copy.wast:884: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:885: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:886: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:887: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:888: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:889: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:890: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:891: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:892: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:893: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:894: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:895: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:896: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:897: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:898: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:899: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:900: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:901: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:902: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:903: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:904: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:905: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:906: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:907: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:943: assert_trap passed: out of bounds table access: table.copy out of bounds
+out/test/spec/bulk-memory-operations/table_copy.wast:945: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:946: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:947: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:948: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:949: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:950: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:951: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:952: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:953: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:954: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:955: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:956: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:957: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:958: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:959: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:960: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:961: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:962: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:963: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:964: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:965: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:966: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:967: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1004: assert_trap passed: out of bounds table access: table.copy out of bounds
 out/test/spec/bulk-memory-operations/table_copy.wast:1006: assert_trap passed: uninitialized table element
 out/test/spec/bulk-memory-operations/table_copy.wast:1007: assert_trap passed: uninitialized table element
 out/test/spec/bulk-memory-operations/table_copy.wast:1008: assert_trap passed: uninitialized table element
@@ -310,128 +295,120 @@ out/test/spec/bulk-memory-operations/table_copy.wast:1010: assert_trap passed: u
 out/test/spec/bulk-memory-operations/table_copy.wast:1011: assert_trap passed: uninitialized table element
 out/test/spec/bulk-memory-operations/table_copy.wast:1012: assert_trap passed: uninitialized table element
 out/test/spec/bulk-memory-operations/table_copy.wast:1013: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1041: assert_trap passed: out of bounds table access: table.copy out of bounds
-out/test/spec/bulk-memory-operations/table_copy.wast:1043: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1044: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1045: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1046: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1047: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1048: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1049: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1050: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1051: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1052: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1053: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1054: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1055: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1056: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1057: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1058: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1059: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1060: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1061: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1062: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1063: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1064: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1065: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1066: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1102: assert_trap passed: out of bounds table access: table.copy out of bounds
-out/test/spec/bulk-memory-operations/table_copy.wast:1104: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1105: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1106: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1107: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1108: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1109: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1110: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1111: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1112: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1113: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1114: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1115: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1116: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1117: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1118: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1119: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1120: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1121: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1122: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1123: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1124: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1014: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1015: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1016: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1025: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1026: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1027: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1028: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1029: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1030: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1031: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1032: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1033: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1034: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1035: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1036: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1037: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1065: assert_trap passed: out of bounds table access: table.copy out of bounds
+out/test/spec/bulk-memory-operations/table_copy.wast:1067: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1068: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1069: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1070: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1071: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1072: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1073: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1074: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1075: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1076: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1077: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1078: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1079: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1080: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1081: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1082: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1083: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1084: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1085: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1086: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1087: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1088: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1089: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1090: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1126: assert_trap passed: out of bounds table access: table.copy out of bounds
+out/test/spec/bulk-memory-operations/table_copy.wast:1128: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1129: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1130: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1131: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1132: assert_trap passed: uninitialized table element
 out/test/spec/bulk-memory-operations/table_copy.wast:1133: assert_trap passed: uninitialized table element
 out/test/spec/bulk-memory-operations/table_copy.wast:1134: assert_trap passed: uninitialized table element
 out/test/spec/bulk-memory-operations/table_copy.wast:1135: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1163: assert_trap passed: out of bounds table access: table.copy out of bounds
-out/test/spec/bulk-memory-operations/table_copy.wast:1165: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1166: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1167: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1168: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1169: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1170: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1171: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1172: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1173: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1174: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1175: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1176: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1177: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1178: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1179: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1180: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1181: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1182: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1183: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1184: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1185: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1186: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1187: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1188: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1224: assert_trap passed: out of bounds table access: table.copy out of bounds
-out/test/spec/bulk-memory-operations/table_copy.wast:1226: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1227: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1228: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1229: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1230: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1231: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1232: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1233: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1234: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1235: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1236: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1237: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1238: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1239: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1240: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1241: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1242: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1243: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1244: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1245: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1246: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1285: assert_trap passed: out of bounds table access: table.copy out of bounds
-out/test/spec/bulk-memory-operations/table_copy.wast:1287: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1288: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1289: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1290: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1291: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1292: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1293: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1294: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1295: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1296: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1297: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1298: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1299: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1300: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1301: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1302: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1303: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1304: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1305: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1306: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1307: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1308: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1309: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1310: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1136: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1137: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1138: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1139: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1140: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1141: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1142: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1143: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1144: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1145: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1146: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1147: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1148: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1157: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1158: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1159: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1187: assert_trap passed: out of bounds table access: table.copy out of bounds
+out/test/spec/bulk-memory-operations/table_copy.wast:1189: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1190: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1191: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1192: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1193: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1194: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1195: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1196: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1197: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1198: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1199: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1200: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1201: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1202: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1203: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1204: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1205: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1206: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1207: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1208: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1209: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1210: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1211: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1212: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1248: assert_trap passed: out of bounds table access: table.copy out of bounds
+out/test/spec/bulk-memory-operations/table_copy.wast:1250: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1251: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1252: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1253: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1254: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1255: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1256: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1257: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1258: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1259: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1260: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1261: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1262: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1263: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1264: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1265: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1266: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1267: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1268: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1269: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1270: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1309: assert_trap passed: out of bounds table access: table.copy out of bounds
 out/test/spec/bulk-memory-operations/table_copy.wast:1311: assert_trap passed: uninitialized table element
 out/test/spec/bulk-memory-operations/table_copy.wast:1312: assert_trap passed: uninitialized table element
 out/test/spec/bulk-memory-operations/table_copy.wast:1313: assert_trap passed: uninitialized table element
@@ -520,31 +497,31 @@ out/test/spec/bulk-memory-operations/table_copy.wast:1395: assert_trap passed: u
 out/test/spec/bulk-memory-operations/table_copy.wast:1396: assert_trap passed: uninitialized table element
 out/test/spec/bulk-memory-operations/table_copy.wast:1397: assert_trap passed: uninitialized table element
 out/test/spec/bulk-memory-operations/table_copy.wast:1398: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1442: assert_trap passed: out of bounds table access: table.copy out of bounds
-out/test/spec/bulk-memory-operations/table_copy.wast:1460: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1461: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1462: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1463: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1464: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1465: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1466: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1467: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1468: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1469: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1470: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1471: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1472: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1473: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1474: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1475: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1476: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1477: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1478: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1479: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1480: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1481: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1482: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_copy.wast:1483: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1399: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1400: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1401: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1402: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1403: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1404: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1405: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1406: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1407: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1408: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1409: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1410: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1411: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1412: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1413: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1414: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1415: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1416: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1417: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1418: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1419: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1420: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1421: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1422: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1466: assert_trap passed: out of bounds table access: table.copy out of bounds
 out/test/spec/bulk-memory-operations/table_copy.wast:1484: assert_trap passed: uninitialized table element
 out/test/spec/bulk-memory-operations/table_copy.wast:1485: assert_trap passed: uninitialized table element
 out/test/spec/bulk-memory-operations/table_copy.wast:1486: assert_trap passed: uninitialized table element
@@ -633,5 +610,29 @@ out/test/spec/bulk-memory-operations/table_copy.wast:1568: assert_trap passed: u
 out/test/spec/bulk-memory-operations/table_copy.wast:1569: assert_trap passed: uninitialized table element
 out/test/spec/bulk-memory-operations/table_copy.wast:1570: assert_trap passed: uninitialized table element
 out/test/spec/bulk-memory-operations/table_copy.wast:1571: assert_trap passed: uninitialized table element
-813/813 tests passed.
+out/test/spec/bulk-memory-operations/table_copy.wast:1572: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1573: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1574: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1575: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1576: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1577: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1578: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1579: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1580: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1581: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1582: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1583: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1584: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1585: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1586: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1587: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1588: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1589: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1590: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1591: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1592: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1593: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1594: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_copy.wast:1595: assert_trap passed: uninitialized table element
+814/814 tests passed.
 ;;; STDOUT ;;)
diff --git a/test/spec/bulk-memory-operations/table_init.txt b/test/spec/bulk-memory-operations/table_init.txt
index 844edda5..50111408 100644
--- a/test/spec/bulk-memory-operations/table_init.txt
+++ b/test/spec/bulk-memory-operations/table_init.txt
@@ -65,232 +65,210 @@ out/test/spec/bulk-memory-operations/table_init.wast:205: assert_invalid passed:
   0000024: error: elem section without table section
 out/test/spec/bulk-memory-operations/table_init.wast:213: assert_invalid passed:
   0000024: error: elem section without table section
-out/test/spec/bulk-memory-operations/table_init.wast:242: assert_trap passed: element segment dropped
-out/test/spec/bulk-memory-operations/table_init.wast:265: assert_trap passed: element segment dropped
 test() =>
-out/test/spec/bulk-memory-operations/table_init.wast:311: assert_trap passed: element segment dropped
-out/test/spec/bulk-memory-operations/table_init.wast:334: assert_trap passed: element segment dropped
+out/test/spec/bulk-memory-operations/table_init.wast:265: assert_trap passed: out of bounds table access: table.init out of bounds
+test() =>
+test() =>
+out/test/spec/bulk-memory-operations/table_init.wast:334: assert_trap passed: out of bounds table access: table.init out of bounds
 out/test/spec/bulk-memory-operations/table_init.wast:357: assert_trap passed: out of bounds table access: table.init out of bounds
 out/test/spec/bulk-memory-operations/table_init.wast:380: assert_trap passed: out of bounds table access: table.init out of bounds
 out/test/spec/bulk-memory-operations/table_init.wast:403: assert_trap passed: out of bounds table access: table.init out of bounds
 test() =>
+out/test/spec/bulk-memory-operations/table_init.wast:449: assert_trap passed: out of bounds table access: table.init out of bounds
 test() =>
+out/test/spec/bulk-memory-operations/table_init.wast:495: assert_trap passed: out of bounds table access: table.init out of bounds
 test() =>
-test() =>
-test() =>
-out/test/spec/bulk-memory-operations/table_init.wast:521: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:541: assert_trap passed: out of bounds table access: table.init out of bounds
+out/test/spec/bulk-memory-operations/table_init.wast:544: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [i32, i32, f32]
   0000044: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:530: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:553: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [i32, i32, i64]
   0000041: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:539: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:562: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [i32, i32, f64]
   0000048: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:548: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:571: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [i32, f32, i32]
   0000044: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:557: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:580: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [i32, f32, f32]
   0000047: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:566: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:589: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [i32, f32, i64]
   0000044: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:575: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:598: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [i32, f32, f64]
   000004b: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:584: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:607: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [i32, i64, i32]
   0000041: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:593: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:616: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [i32, i64, f32]
   0000044: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:602: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:625: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [i32, i64, i64]
   0000041: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:611: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:634: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [i32, i64, f64]
   0000048: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:620: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:643: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [i32, f64, i32]
   0000048: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:629: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:652: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [i32, f64, f32]
   000004b: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:638: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:661: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [i32, f64, i64]
   0000048: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:647: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:670: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [i32, f64, f64]
   000004f: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:656: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:679: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [f32, i32, i32]
   0000044: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:665: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:688: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [f32, i32, f32]
   0000047: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:674: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:697: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [f32, i32, i64]
   0000044: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:683: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:706: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [f32, i32, f64]
   000004b: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:692: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:715: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [f32, f32, i32]
   0000047: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:701: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:724: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [f32, f32, f32]
   000004a: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:710: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:733: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [f32, f32, i64]
   0000047: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:719: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:742: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [f32, f32, f64]
   000004e: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:728: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:751: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [f32, i64, i32]
   0000044: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:737: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:760: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [f32, i64, f32]
   0000047: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:746: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:769: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [f32, i64, i64]
   0000044: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:755: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:778: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [f32, i64, f64]
   000004b: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:764: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:787: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [f32, f64, i32]
   000004b: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:773: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:796: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [f32, f64, f32]
   000004e: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:782: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:805: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [f32, f64, i64]
   000004b: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:791: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:814: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [f32, f64, f64]
   0000052: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:800: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:823: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [i64, i32, i32]
   0000041: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:809: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:832: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [i64, i32, f32]
   0000044: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:818: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:841: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [i64, i32, i64]
   0000041: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:827: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:850: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [i64, i32, f64]
   0000048: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:836: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:859: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [i64, f32, i32]
   0000044: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:845: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:868: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [i64, f32, f32]
   0000047: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:854: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:877: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [i64, f32, i64]
   0000044: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:863: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:886: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [i64, f32, f64]
   000004b: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:872: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:895: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [i64, i64, i32]
   0000041: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:881: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:904: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [i64, i64, f32]
   0000044: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:890: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:913: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [i64, i64, i64]
   0000041: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:899: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:922: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [i64, i64, f64]
   0000048: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:908: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:931: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [i64, f64, i32]
   0000048: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:917: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:940: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [i64, f64, f32]
   000004b: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:926: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:949: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [i64, f64, i64]
   0000048: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:935: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:958: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [i64, f64, f64]
   000004f: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:944: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:967: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [f64, i32, i32]
   0000048: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:953: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:976: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [f64, i32, f32]
   000004b: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:962: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:985: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [f64, i32, i64]
   0000048: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:971: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:994: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [f64, i32, f64]
   000004f: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:980: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:1003: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [f64, f32, i32]
   000004b: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:989: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:1012: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [f64, f32, f32]
   000004e: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:998: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:1021: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [f64, f32, i64]
   000004b: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:1007: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:1030: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [f64, f32, f64]
   0000052: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:1016: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:1039: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [f64, i64, i32]
   0000048: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:1025: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:1048: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [f64, i64, f32]
   000004b: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:1034: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:1057: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [f64, i64, i64]
   0000048: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:1043: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:1066: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [f64, i64, f64]
   000004f: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:1052: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:1075: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [f64, f64, i32]
   000004f: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:1061: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:1084: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [f64, f64, f32]
   0000052: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:1070: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:1093: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [f64, f64, i64]
   000004f: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:1079: assert_invalid passed:
+out/test/spec/bulk-memory-operations/table_init.wast:1102: assert_invalid passed:
   error: type mismatch in table.init, expected [i32, i32, i32] but got [f64, f64, f64]
   0000056: error: OnTableInitExpr callback failed
-out/test/spec/bulk-memory-operations/table_init.wast:1115: assert_trap passed: out of bounds table access: table.init out of bounds
-out/test/spec/bulk-memory-operations/table_init.wast:1116: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1117: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1118: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1119: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1120: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1121: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1122: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1123: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1124: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1125: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1126: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1127: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1128: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1129: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1130: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1131: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1132: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1133: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1134: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1135: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1136: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1137: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1138: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1138: assert_trap passed: out of bounds table access: table.init out of bounds
 out/test/spec/bulk-memory-operations/table_init.wast:1139: assert_trap passed: uninitialized table element
 out/test/spec/bulk-memory-operations/table_init.wast:1140: assert_trap passed: uninitialized table element
 out/test/spec/bulk-memory-operations/table_init.wast:1141: assert_trap passed: uninitialized table element
@@ -300,30 +278,30 @@ out/test/spec/bulk-memory-operations/table_init.wast:1144: assert_trap passed: u
 out/test/spec/bulk-memory-operations/table_init.wast:1145: assert_trap passed: uninitialized table element
 out/test/spec/bulk-memory-operations/table_init.wast:1146: assert_trap passed: uninitialized table element
 out/test/spec/bulk-memory-operations/table_init.wast:1147: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1177: assert_trap passed: out of bounds table access: table.init out of bounds
-out/test/spec/bulk-memory-operations/table_init.wast:1178: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1179: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1180: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1181: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1182: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1183: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1184: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1185: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1186: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1187: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1188: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1189: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1190: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1191: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1192: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1193: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1194: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1195: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1196: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1197: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1198: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1199: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1200: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1148: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1149: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1150: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1151: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1152: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1153: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1154: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1155: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1156: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1157: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1158: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1159: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1160: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1161: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1162: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1163: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1164: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1165: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1166: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1167: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1168: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1169: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1170: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1200: assert_trap passed: out of bounds table access: table.init out of bounds
 out/test/spec/bulk-memory-operations/table_init.wast:1201: assert_trap passed: uninitialized table element
 out/test/spec/bulk-memory-operations/table_init.wast:1202: assert_trap passed: uninitialized table element
 out/test/spec/bulk-memory-operations/table_init.wast:1203: assert_trap passed: uninitialized table element
@@ -333,30 +311,30 @@ out/test/spec/bulk-memory-operations/table_init.wast:1206: assert_trap passed: u
 out/test/spec/bulk-memory-operations/table_init.wast:1207: assert_trap passed: uninitialized table element
 out/test/spec/bulk-memory-operations/table_init.wast:1208: assert_trap passed: uninitialized table element
 out/test/spec/bulk-memory-operations/table_init.wast:1209: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1239: assert_trap passed: out of bounds table access: table.init out of bounds
-out/test/spec/bulk-memory-operations/table_init.wast:1240: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1241: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1242: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1243: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1244: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1245: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1246: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1247: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1248: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1249: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1250: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1251: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1252: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1253: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1254: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1255: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1256: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1257: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1258: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1259: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1260: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1261: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1262: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1210: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1211: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1212: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1213: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1214: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1215: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1216: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1217: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1218: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1219: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1220: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1221: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1222: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1223: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1224: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1225: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1226: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1227: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1228: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1229: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1230: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1231: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1232: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1262: assert_trap passed: out of bounds table access: table.init out of bounds
 out/test/spec/bulk-memory-operations/table_init.wast:1263: assert_trap passed: uninitialized table element
 out/test/spec/bulk-memory-operations/table_init.wast:1264: assert_trap passed: uninitialized table element
 out/test/spec/bulk-memory-operations/table_init.wast:1265: assert_trap passed: uninitialized table element
@@ -494,30 +472,30 @@ out/test/spec/bulk-memory-operations/table_init.wast:1396: assert_trap passed: u
 out/test/spec/bulk-memory-operations/table_init.wast:1397: assert_trap passed: uninitialized table element
 out/test/spec/bulk-memory-operations/table_init.wast:1398: assert_trap passed: uninitialized table element
 out/test/spec/bulk-memory-operations/table_init.wast:1399: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1429: assert_trap passed: out of bounds table access: table.init out of bounds
-out/test/spec/bulk-memory-operations/table_init.wast:1430: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1431: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1432: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1433: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1434: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1435: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1436: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1437: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1438: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1439: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1440: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1441: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1442: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1443: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1444: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1445: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1446: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1447: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1448: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1449: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1450: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1451: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1452: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1400: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1401: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1402: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1403: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1404: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1405: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1406: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1407: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1408: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1409: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1410: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1411: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1412: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1413: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1414: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1415: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1416: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1417: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1418: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1419: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1420: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1421: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1422: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1452: assert_trap passed: out of bounds table access: table.init out of bounds
 out/test/spec/bulk-memory-operations/table_init.wast:1453: assert_trap passed: uninitialized table element
 out/test/spec/bulk-memory-operations/table_init.wast:1454: assert_trap passed: uninitialized table element
 out/test/spec/bulk-memory-operations/table_init.wast:1455: assert_trap passed: uninitialized table element
@@ -655,30 +633,30 @@ out/test/spec/bulk-memory-operations/table_init.wast:1586: assert_trap passed: u
 out/test/spec/bulk-memory-operations/table_init.wast:1587: assert_trap passed: uninitialized table element
 out/test/spec/bulk-memory-operations/table_init.wast:1588: assert_trap passed: uninitialized table element
 out/test/spec/bulk-memory-operations/table_init.wast:1589: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1619: assert_trap passed: out of bounds table access: table.init out of bounds
-out/test/spec/bulk-memory-operations/table_init.wast:1620: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1621: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1622: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1623: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1624: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1625: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1626: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1627: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1628: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1629: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1630: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1631: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1632: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1633: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1634: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1635: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1636: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1637: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1638: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1639: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1640: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1641: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1642: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1590: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1591: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1592: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1593: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1594: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1595: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1596: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1597: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1598: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1599: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1600: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1601: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1602: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1603: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1604: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1605: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1606: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1607: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1608: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1609: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1610: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1611: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1612: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1642: assert_trap passed: out of bounds table access: table.init out of bounds
 out/test/spec/bulk-memory-operations/table_init.wast:1643: assert_trap passed: uninitialized table element
 out/test/spec/bulk-memory-operations/table_init.wast:1644: assert_trap passed: uninitialized table element
 out/test/spec/bulk-memory-operations/table_init.wast:1645: assert_trap passed: uninitialized table element
@@ -720,22 +698,45 @@ out/test/spec/bulk-memory-operations/table_init.wast:1680: assert_trap passed: u
 out/test/spec/bulk-memory-operations/table_init.wast:1681: assert_trap passed: uninitialized table element
 out/test/spec/bulk-memory-operations/table_init.wast:1682: assert_trap passed: uninitialized table element
 out/test/spec/bulk-memory-operations/table_init.wast:1683: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1713: assert_trap passed: out of bounds table access: table.init out of bounds
-out/test/spec/bulk-memory-operations/table_init.wast:1714: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1715: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1716: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1717: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1718: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1719: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1720: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1721: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1722: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1723: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1724: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1725: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1726: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1727: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1728: assert_trap passed: uninitialized table element
-out/test/spec/bulk-memory-operations/table_init.wast:1729: assert_trap passed: uninitialized table element
-643/643 tests passed.
+out/test/spec/bulk-memory-operations/table_init.wast:1684: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1685: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1686: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1687: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1688: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1689: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1690: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1691: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1692: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1693: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1694: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1695: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1696: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1697: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1698: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1699: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1700: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1701: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1702: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1703: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1704: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1705: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1706: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1736: assert_trap passed: out of bounds table access: table.init out of bounds
+out/test/spec/bulk-memory-operations/table_init.wast:1737: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1738: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1739: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1740: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1741: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1742: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1743: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1744: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1745: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1746: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1747: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1748: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1749: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1750: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1751: assert_trap passed: uninitialized table element
+out/test/spec/bulk-memory-operations/table_init.wast:1752: assert_trap passed: uninitialized table element
+644/644 tests passed.
 ;;; STDOUT ;;)