1(typename $errno
2 (enum (@witx tag u32)
3 ;;; Success
4 $ok
5 ;;; Invalid argument
6 $invalid_arg
7 ;;; I really don't want to
8 $dont_want_to
9 ;;; I am physically unable to
10 $physically_unable
11 ;;; Well, that's a picket line alright!
12 $picket_line))
13
14