typo: switched to uint64_t