Fixed uint32_t integer type in header file