Avoids segmentation fault using uint64_t