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

  (func
    i64.const 0
    i64.const 0
    i64.const 0
    memory.copy))
