1(use "errno.witx")
2
3(typename $cookie u64)
4(@witx const $cookie $start 0)
5
6(typename $bool bool)
7
8(module $ints
9 (@interface func (export "cookie_cutter")
10 (param $init_cookie $cookie)
11 (result $error (expected $bool (error $errno)))
12 )
13)
14