Changed 'int' to 'uint64_t'.