1(module
2  (import "wasi_snapshot_preview1" "fd_write"
3    (func $__wasi_fd_write (param i32 i32 i32 i32) (result i32)))
4  (func (export "_initialize")
5    (call $print (i32.const 32) (i32.const 18))
6  )
7  (func (export "greet")
8    (call $print (i32.const 64) (i32.const 12))
9  )
10  (func $print (param $ptr i32) (param $len i32)
11    (i32.store (i32.const 8) (local.get $len))
12    (i32.store (i32.const 4) (local.get $ptr))
13        (drop (call $__wasi_fd_write
14          (i32.const 1)
15          (i32.const 4)
16          (i32.const 1)
17          (i32.const 0)))
18  )
19  (memory (export "memory") 1)
20  (data (i32.const 32) "Hello _initialize\0a")
21  (data (i32.const 64) "Hello greet\0a")
22)
23