| ;;; TOOL: wat2wasm | |
| ;;; ARGS: --enable-memory64 | |
| (module | |
| (memory i64 1) | |
| (func | |
| i64.const 0 | |
| i32.const 0 | |
| i32.store8 | |
| i64.const 0 | |
| i32.const 0 | |
| i32.store16 | |
| i64.const 0 | |
| i32.const 0 | |
| i32.store | |
| i64.const 0 | |
| i64.const 0 | |
| i64.store | |
| i64.const 0 | |
| i64.const 0 | |
| i64.store8 | |
| i64.const 0 | |
| i64.const 0 | |
| i64.store16 | |
| i64.const 0 | |
| i64.const 0 | |
| i64.store32 | |
| i64.const 0 | |
| f32.const 0 | |
| f32.store | |
| i64.const 0 | |
| f64.const 0 | |
| f64.store)) |