Include stdint.h for uint64_t