Józef Kucia : vkd3d: Prefer uint64_t to UINT64.