pub type __guest_handle_const_uint64_t = *const u64;