We need stdint.h for uint32_t