Changed int to uint64_t.