> Integer promotion will probably never be removed from the fundamental types

Oh let me assure you, I have no actual expectation that C would ever change in such a way.

Although it should be noted that both suggestions are entirely syntactic and could be gated behind a per-file (or even per function) stricture a la strict mode.