text: ;;; TOOL: run-interp
  ;;; ARGS: --enable-memory64
  (module
    (memory 1 i64)
  
    (func (export "i32_store8") (result i32)
        i64.const 0
        i32.const 0xfb
        i32.store8
        i64.const 1
        i32.const 0xfc
        i32.store8
        i64.const 2
        i32.const 0xfd
        i32.store8
        i64.const 3
        i32.const 0xfe
        i32.store8
        i64.const 0
        i32.load)
  
    (func (export "i32_store16") (result i32)
        i64.const 0
        i32.const 0xcac9
        i32.store16
        i64.const 2
        i32.const 0xcccb
        i32.store16
        i64.const 0
        i32.load)
  
    (func (export "i32_store") (result i32)
        i64.const 0
        i32.const -123456
        i32.store
        i64.const 0
        i32.load)
  
    (func (export "i64_store8") (result i32)
        i64.const 0
        i64.const 0xeeeeeeeeeeeeeefb
        i64.store8
        i64.const 1
        i64.const 0xeeeeeeeeeeeeeefc
        i64.store8
        i64.const 2
        i64.const 0xeeeeeeeeeeeeeefd
        i64.store8
        i64.const 3
        i64.const 0xeeeeeeeeeeeeeefe
        i64.store8
        i64.const 0
        i32.load)
  
    (func (export "i64_store16") (result i32)
        i64.const 0
        i64.const 0xeeeeeeeeeeeecac9
        i64.store16
        i64.const 2
        i64.const 0xeeeeeeeeeeeecccb
        i64.store16
        i64.const 0
        i32.load)
  
    (func (export "i64_store32") (result i32)
        i64.const 0
        i64.const -123456
        i64.store32
        i64.const 0
        i32.load)
  
    (func (export "i64_store") (result i64)
        i64.const 0
        i64.const 0xbaddc0de600dd00d
        i64.store
        i64.const 0
        i64.load)
  
    (func (export "f32_store") (result i32)
        i64.const 0
        f32.const 1.5
        f32.store
        i64.const 0
        i32.load)
  
    (func (export "f64_store") (result i32)
        i64.const 0
        f64.const -1000.75
        f64.store
        i64.const 4
        i32.load)
  )
  (;; STDOUT ;;;
  i32_store8() => i32:4278058235
  i32_store16() => i32:3435907785
  i32_store() => i32:4294843840
  i64_store8() => i32:4278058235
  i64_store16() => i32:3435907785
  i64_store32() => i32:4294843840
  i64_store() => i64:13465130522234441741
  f32_store() => i32:1069547520
  f64_store() => i32:3230615040
  ;;; STDOUT ;;)
  