changed int to uint64_t.