Type Definition wasi::Userdata

type Userdata = u64;