;;; 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))
