(module
 (type $0 (func))
 (import "env" "js_func" (func $a_js_func (type $0)))
 (memory $0 1 1)
 (data $0 "Hello, datacount section!")
 (export "wasm_func_a" (func $a_wasm_func))
 (func $a_wasm_func (type $0)
  (memory.init $0
   (i32.const 0)
   (i32.const 0)
   (i32.const 25)
  )
  (call $a_js_func)
 )
)