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