;;; TOOL: run-interp-spec
;;; STDIN_FILE: test/old-spec/proposals/memory64/memory_copy.wast
;;; ARGS*: --enable-memory64
(;; STDOUT ;;;
test() =>
test() =>
test() =>
test() =>
test() =>
test() =>
test() =>
test() =>
out/test/spec/memory64/memory_copy.wast:350: assert_trap passed: out of bounds memory access: memory.copy out of bound
out/test/spec/memory64/memory_copy.wast:711: assert_trap passed: out of bounds memory access: memory.copy out of bound
out/test/spec/memory64/memory_copy.wast:1073: assert_trap passed: out of bounds memory access: memory.copy out of bound
out/test/spec/memory64/memory_copy.wast:1434: assert_trap passed: out of bounds memory access: memory.copy out of bound
out/test/spec/memory64/memory_copy.wast:1796: assert_trap passed: out of bounds memory access: memory.copy out of bound
out/test/spec/memory64/memory_copy.wast:2157: assert_trap passed: out of bounds memory access: memory.copy out of bound
out/test/spec/memory64/memory_copy.wast:2518: assert_trap passed: out of bounds memory access: memory.copy out of bound
out/test/spec/memory64/memory_copy.wast:2879: assert_trap passed: out of bounds memory access: memory.copy out of bound
out/test/spec/memory64/memory_copy.wast:3240: assert_trap passed: out of bounds memory access: memory.copy out of bound
out/test/spec/memory64/memory_copy.wast:3601: assert_trap passed: out of bounds memory access: memory.copy out of bound
out/test/spec/memory64/memory_copy.wast:3962: assert_trap passed: out of bounds memory access: memory.copy out of bound
out/test/spec/memory64/memory_copy.wast:4316: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.19.wasm:000002d: error: memory variable out of range: 0 (max 0)
  out/test/spec/memory64/memory_copy/memory_copy.19.wasm:000002d: error: memory variable out of range: 0 (max 0)
  000002d: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4322: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.20.wasm:0000036: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i32, i32, f32]
  0000036: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4329: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.21.wasm:0000033: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i32, i32, i64]
  0000033: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4336: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.22.wasm:000003a: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i32, i32, f64]
  000003a: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4343: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.23.wasm:0000036: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i32, f32, i32]
  0000036: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4350: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.24.wasm:0000039: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i32, f32, f32]
  0000039: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4357: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.25.wasm:0000036: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i32, f32, i64]
  0000036: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4364: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.26.wasm:000003d: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i32, f32, f64]
  000003d: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4371: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.27.wasm:0000033: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i32, i64, i32]
  0000033: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4378: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.28.wasm:0000036: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i32, i64, f32]
  0000036: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4385: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.29.wasm:0000033: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i32, i64, i64]
  0000033: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4392: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.30.wasm:000003a: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i32, i64, f64]
  000003a: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4399: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.31.wasm:000003a: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i32, f64, i32]
  000003a: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4406: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.32.wasm:000003d: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i32, f64, f32]
  000003d: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4413: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.33.wasm:000003a: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i32, f64, i64]
  000003a: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4420: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.34.wasm:0000041: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i32, f64, f64]
  0000041: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4427: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.35.wasm:0000036: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f32, i32, i32]
  0000036: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4434: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.36.wasm:0000039: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f32, i32, f32]
  0000039: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4441: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.37.wasm:0000036: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f32, i32, i64]
  0000036: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4448: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.38.wasm:000003d: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f32, i32, f64]
  000003d: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4455: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.39.wasm:0000039: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f32, f32, i32]
  0000039: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4462: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.40.wasm:000003c: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f32, f32, f32]
  000003c: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4469: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.41.wasm:0000039: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f32, f32, i64]
  0000039: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4476: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.42.wasm:0000040: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f32, f32, f64]
  0000040: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4483: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.43.wasm:0000036: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f32, i64, i32]
  0000036: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4490: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.44.wasm:0000039: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f32, i64, f32]
  0000039: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4497: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.45.wasm:0000036: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f32, i64, i64]
  0000036: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4504: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.46.wasm:000003d: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f32, i64, f64]
  000003d: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4511: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.47.wasm:000003d: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f32, f64, i32]
  000003d: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4518: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.48.wasm:0000040: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f32, f64, f32]
  0000040: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4525: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.49.wasm:000003d: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f32, f64, i64]
  000003d: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4532: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.50.wasm:0000044: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f32, f64, f64]
  0000044: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4539: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.51.wasm:0000033: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i64, i32, i32]
  0000033: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4546: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.52.wasm:0000036: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i64, i32, f32]
  0000036: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4553: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.53.wasm:0000033: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i64, i32, i64]
  0000033: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4560: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.54.wasm:000003a: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i64, i32, f64]
  000003a: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4567: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.55.wasm:0000036: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i64, f32, i32]
  0000036: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4574: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.56.wasm:0000039: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i64, f32, f32]
  0000039: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4581: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.57.wasm:0000036: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i64, f32, i64]
  0000036: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4588: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.58.wasm:000003d: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i64, f32, f64]
  000003d: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4595: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.59.wasm:0000033: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i64, i64, i32]
  0000033: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4602: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.60.wasm:0000036: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i64, i64, f32]
  0000036: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4609: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.61.wasm:0000033: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i64, i64, i64]
  0000033: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4616: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.62.wasm:000003a: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i64, i64, f64]
  000003a: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4623: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.63.wasm:000003a: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i64, f64, i32]
  000003a: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4630: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.64.wasm:000003d: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i64, f64, f32]
  000003d: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4637: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.65.wasm:000003a: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i64, f64, i64]
  000003a: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4644: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.66.wasm:0000041: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i64, f64, f64]
  0000041: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4651: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.67.wasm:000003a: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f64, i32, i32]
  000003a: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4658: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.68.wasm:000003d: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f64, i32, f32]
  000003d: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4665: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.69.wasm:000003a: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f64, i32, i64]
  000003a: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4672: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.70.wasm:0000041: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f64, i32, f64]
  0000041: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4679: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.71.wasm:000003d: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f64, f32, i32]
  000003d: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4686: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.72.wasm:0000040: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f64, f32, f32]
  0000040: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4693: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.73.wasm:000003d: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f64, f32, i64]
  000003d: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4700: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.74.wasm:0000044: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f64, f32, f64]
  0000044: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4707: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.75.wasm:000003a: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f64, i64, i32]
  000003a: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4714: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.76.wasm:000003d: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f64, i64, f32]
  000003d: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4721: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.77.wasm:000003a: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f64, i64, i64]
  000003a: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4728: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.78.wasm:0000041: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f64, i64, f64]
  0000041: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4735: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.79.wasm:0000041: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f64, f64, i32]
  0000041: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4742: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.80.wasm:0000044: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f64, f64, f32]
  0000044: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4749: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.81.wasm:0000041: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f64, f64, i64]
  0000041: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:4756: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.82.wasm:0000048: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [f64, f64, f64]
  0000048: error: OnMemoryCopyExpr callback failed
test() =>
test() =>
out/test/spec/memory64/memory_copy.wast:4819: assert_trap passed: out of bounds memory access: memory.copy out of bound
out/test/spec/memory64/memory_copy.wast:4825: assert_trap passed: out of bounds memory access: memory.copy out of bound
out/test/spec/memory64/memory_copy.wast:4831: assert_trap passed: out of bounds memory access: memory.copy out of bound
out/test/spec/memory64/memory_copy.wast:4837: assert_trap passed: out of bounds memory access: memory.copy out of bound
test() =>
test() =>
out/test/spec/memory64/memory_copy.wast:4873: assert_trap passed: out of bounds memory access: memory.copy out of bound
test() =>
out/test/spec/memory64/memory_copy.wast:4885: assert_trap passed: out of bounds memory access: memory.copy out of bound
test() =>
out/test/spec/memory64/memory_copy.wast:4897: assert_trap passed: out of bounds memory access: memory.copy out of bound
test() =>
test() =>
test() =>
test() =>
test() =>
test() =>
test() =>
test() =>
test() =>
out/test/spec/memory64/memory_copy.wast:5924: assert_trap passed: out of bounds memory access: memory.copy out of bound
out/test/spec/memory64/memory_copy.wast:6285: assert_trap passed: out of bounds memory access: memory.copy out of bound
out/test/spec/memory64/memory_copy.wast:6647: assert_trap passed: out of bounds memory access: memory.copy out of bound
out/test/spec/memory64/memory_copy.wast:7008: assert_trap passed: out of bounds memory access: memory.copy out of bound
out/test/spec/memory64/memory_copy.wast:7370: assert_trap passed: out of bounds memory access: memory.copy out of bound
out/test/spec/memory64/memory_copy.wast:7731: assert_trap passed: out of bounds memory access: memory.copy out of bound
out/test/spec/memory64/memory_copy.wast:8092: assert_trap passed: out of bounds memory access: memory.copy out of bound
out/test/spec/memory64/memory_copy.wast:8453: assert_trap passed: out of bounds memory access: memory.copy out of bound
out/test/spec/memory64/memory_copy.wast:8814: assert_trap passed: out of bounds memory access: memory.copy out of bound
out/test/spec/memory64/memory_copy.wast:9175: assert_trap passed: out of bounds memory access: memory.copy out of bound
out/test/spec/memory64/memory_copy.wast:9536: assert_trap passed: out of bounds memory access: memory.copy out of bound
out/test/spec/memory64/memory_copy.wast:9890: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.116.wasm:000002d: error: memory variable out of range: 0 (max 0)
  out/test/spec/memory64/memory_copy/memory_copy.116.wasm:000002d: error: memory variable out of range: 0 (max 0)
  out/test/spec/memory64/memory_copy/memory_copy.116.wasm:000002d: error: type mismatch in memory.copy, expected [i32, i32, i32] but got [i64, i64, i64]
  000002d: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:9896: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.117.wasm:0000033: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [i32, i32, i32]
  0000033: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:9903: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.118.wasm:0000036: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [i32, i32, f32]
  0000036: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:9910: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.119.wasm:0000033: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [i32, i32, i64]
  0000033: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:9917: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.120.wasm:000003a: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [i32, i32, f64]
  000003a: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:9924: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.121.wasm:0000036: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [i32, f32, i32]
  0000036: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:9931: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.122.wasm:0000039: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [i32, f32, f32]
  0000039: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:9938: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.123.wasm:0000036: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [i32, f32, i64]
  0000036: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:9945: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.124.wasm:000003d: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [i32, f32, f64]
  000003d: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:9952: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.125.wasm:0000033: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [i32, i64, i32]
  0000033: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:9959: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.126.wasm:0000036: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [i32, i64, f32]
  0000036: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:9966: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.127.wasm:0000033: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [i32, i64, i64]
  0000033: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:9973: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.128.wasm:000003a: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [i32, i64, f64]
  000003a: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:9980: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.129.wasm:000003a: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [i32, f64, i32]
  000003a: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:9987: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.130.wasm:000003d: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [i32, f64, f32]
  000003d: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:9994: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.131.wasm:000003a: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [i32, f64, i64]
  000003a: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:10001: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.132.wasm:0000041: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [i32, f64, f64]
  0000041: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:10008: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.133.wasm:0000036: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [f32, i32, i32]
  0000036: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:10015: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.134.wasm:0000039: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [f32, i32, f32]
  0000039: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:10022: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.135.wasm:0000036: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [f32, i32, i64]
  0000036: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:10029: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.136.wasm:000003d: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [f32, i32, f64]
  000003d: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:10036: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.137.wasm:0000039: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [f32, f32, i32]
  0000039: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:10043: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.138.wasm:000003c: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [f32, f32, f32]
  000003c: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:10050: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.139.wasm:0000039: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [f32, f32, i64]
  0000039: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:10057: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.140.wasm:0000040: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [f32, f32, f64]
  0000040: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:10064: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.141.wasm:0000036: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [f32, i64, i32]
  0000036: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:10071: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.142.wasm:0000039: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [f32, i64, f32]
  0000039: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:10078: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.143.wasm:0000036: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [f32, i64, i64]
  0000036: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:10085: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.144.wasm:000003d: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [f32, i64, f64]
  000003d: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:10092: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.145.wasm:000003d: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [f32, f64, i32]
  000003d: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:10099: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.146.wasm:0000040: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [f32, f64, f32]
  0000040: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:10106: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.147.wasm:000003d: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [f32, f64, i64]
  000003d: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:10113: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.148.wasm:0000044: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [f32, f64, f64]
  0000044: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:10120: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.149.wasm:0000033: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [i64, i32, i32]
  0000033: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:10127: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.150.wasm:0000036: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [i64, i32, f32]
  0000036: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:10134: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.151.wasm:0000033: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [i64, i32, i64]
  0000033: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:10141: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.152.wasm:000003a: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [i64, i32, f64]
  000003a: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:10148: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.153.wasm:0000036: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [i64, f32, i32]
  0000036: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:10155: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.154.wasm:0000039: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [i64, f32, f32]
  0000039: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:10162: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.155.wasm:0000036: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [i64, f32, i64]
  0000036: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:10169: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.156.wasm:000003d: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [i64, f32, f64]
  000003d: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:10176: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.157.wasm:0000033: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [i64, i64, i32]
  0000033: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:10183: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.158.wasm:0000036: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [i64, i64, f32]
  0000036: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:10190: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.159.wasm:000003a: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [i64, i64, f64]
  000003a: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:10197: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.160.wasm:000003a: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [i64, f64, i32]
  000003a: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:10204: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.161.wasm:000003d: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [i64, f64, f32]
  000003d: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:10211: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.162.wasm:000003a: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [i64, f64, i64]
  000003a: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:10218: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.163.wasm:0000041: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [i64, f64, f64]
  0000041: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:10225: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.164.wasm:000003a: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [f64, i32, i32]
  000003a: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:10232: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.165.wasm:000003d: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [f64, i32, f32]
  000003d: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:10239: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.166.wasm:000003a: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [f64, i32, i64]
  000003a: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:10246: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.167.wasm:0000041: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [f64, i32, f64]
  0000041: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:10253: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.168.wasm:000003d: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [f64, f32, i32]
  000003d: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:10260: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.169.wasm:0000040: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [f64, f32, f32]
  0000040: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:10267: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.170.wasm:000003d: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [f64, f32, i64]
  000003d: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:10274: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.171.wasm:0000044: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [f64, f32, f64]
  0000044: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:10281: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.172.wasm:000003a: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [f64, i64, i32]
  000003a: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:10288: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.173.wasm:000003d: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [f64, i64, f32]
  000003d: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:10295: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.174.wasm:000003a: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [f64, i64, i64]
  000003a: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:10302: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.175.wasm:0000041: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [f64, i64, f64]
  0000041: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:10309: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.176.wasm:0000041: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [f64, f64, i32]
  0000041: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:10316: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.177.wasm:0000044: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [f64, f64, f32]
  0000044: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:10323: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.178.wasm:0000041: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [f64, f64, i64]
  0000041: error: OnMemoryCopyExpr callback failed
out/test/spec/memory64/memory_copy.wast:10330: assert_invalid passed:
  out/test/spec/memory64/memory_copy/memory_copy.179.wasm:0000048: error: type mismatch in memory.copy, expected [i64, i64, i64] but got [f64, f64, f64]
  0000048: error: OnMemoryCopyExpr callback failed
test() =>
test() =>
out/test/spec/memory64/memory_copy.wast:10393: assert_trap passed: out of bounds memory access: memory.copy out of bound
out/test/spec/memory64/memory_copy.wast:10399: assert_trap passed: out of bounds memory access: memory.copy out of bound
out/test/spec/memory64/memory_copy.wast:10405: assert_trap passed: out of bounds memory access: memory.copy out of bound
out/test/spec/memory64/memory_copy.wast:10411: assert_trap passed: out of bounds memory access: memory.copy out of bound
test() =>
test() =>
out/test/spec/memory64/memory_copy.wast:10447: assert_trap passed: out of bounds memory access: memory.copy out of bound
test() =>
out/test/spec/memory64/memory_copy.wast:10459: assert_trap passed: out of bounds memory access: memory.copy out of bound
test() =>
out/test/spec/memory64/memory_copy.wast:10471: assert_trap passed: out of bounds memory access: memory.copy out of bound
test() =>
8900/8900 tests passed.
;;; STDOUT ;;)
