Type Definition lucet_wasi::__wasi_exitcode_t

type __wasi_exitcode_t = u32;