1;;! memory64 = true
2
3(module
4  (memory i64 1)
5  (func (export "load1") (result i32)
6      i64.const 0xffff_ffff_ffff_fff0
7      i32.load offset=16)
8  (func (export "load2") (result i32)
9      i64.const 16
10      i32.load offset=0xfffffffffffffff0)
11)
12(assert_trap (invoke "load1") "out of bounds memory access")
13(assert_trap (invoke "load2") "out of bounds memory access")
14