Converted from `unsigned long long`s to `uint64_t`s