pub type __guest_handle_uint64_t = *mut u64;