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