Add stdint.h references
Use inttypes.h constants for uint64_t printf formatting