1(module
2  (import "wasi_snapshot_preview1" "fd_write" (func $write (param i32 i32 i32 i32) (result i32)))
3
4  (memory (export "memory") 1)
5
6  (func (export "_start")
7    (call $write
8      (i32.const 1) ;; fd=1
9      (i32.const 1) ;; ciovec_base=1 (misaligned)
10      (i32.const 1) ;; ciovec_len=1
11      (i32.const 0) ;; retptr=0
12    )
13    drop
14
15  )
16)
17