Change from long int to the, correct, uint64_t