Don't use uint64_t in tests.