Include stdint.h for uint32_t