;;; TOOL: wat2wasm
;;; ARGS: --enable-memory64
(module
  (memory i64 0)

  (func
    i64.const 0
    i32.const 0
    i32.const 0
    memory.init 0)

  (data "hi"))
