pub type __guest_handle_const_uint64 = *const u64;