Re: [PATCH vkd3d 10/12] tests: Prefer uint64_t to UINT64.