1(use "errno.witx")
2
3(typename $cookie
4 (int u64
5 (const $start 0)))
6
7(typename $bool
8 (enum u8
9 $false
10 $true))
11
12(module $ints
13 (@interface func (export "cookie_cutter")
14 (param $init_cookie $cookie)
15 (result $error $errno)
16 (result $is_start $bool)
17 )
18)
19