Your suggestion will break on that.
We clearly want uint_least32_t.
Setting aside whether there is even a C99 compiler for anything Symbolics, or anything where uint32_t doesn’t exist (already assuming C99 or above here). Is there? Meanwhile there are a few existing supported gcc architectures where sizeof int == 2.
Pick what level of pragmatism you prefer I guess. I prefer avoiding the standard integer types unless I can comfortably fit in their guaranteed sizes. I don’t really care about obsolete machines that will never have a C99 compiler outside a novelty.
And you know what? I don't care about people who use C on 16-bit computers, unless I'm being paid to.
I've written plenty of assembly they can consume, like https://justine.lol/sectorlisp2/