| ;;; TOOL: wat2wasm | |
| ;;; ARGS: --enable-memory64 | |
| (module | |
| (memory i64 1) | |
| (data $data "a") | |
| (func | |
| i64.const 0 i32.const 0 i32.const 0 memory.init $data | |
| data.drop $data | |
| ) | |
| (table 1 funcref) | |
| (elem $elem funcref (ref.func 0) (ref.null func)) | |
| (elem $elem2 func 0) | |
| (func | |
| i32.const 0 i32.const 0 i32.const 0 table.init $elem | |
| elem.drop $elem | |
| ) | |
| ) |