Minor refactoring: changed from 'unsigned long long' to 'uint64_t'