ints.witx

(use "errno.witx")

(typename $cookie u64)
(@witx const $cookie $start 0)

(typename $bool bool)

(module $ints
  (@interface func (export "cookie_cutter")
    (param $init_cookie $cookie)
    (result $error (expected $bool (error $errno)))
  )
)