PSA: you're not meant to write "uint32_t" every time. They chose that name to be deliberately awkward, to avoid collisions with existing code because nobody in their right mind would actually use it. You're meant to typedef it to something sane like "u32".