This should be `uint32_t` for consistency.