Type Definition userdata
cloudabi
type userdata = u64;
User-provided value that can be attached to objects that is retained when extracted from the kernel.