Created attachment 14670 [details] [review]
This patch should be easy and cause no side effects as only "non promotable"
types are ever used.
Patch is not small, so requires some time to do
it "by hand", but is trivial, as there are no type
promotions (and talking for memory from when I
reviewed the patch) neither "traps" that can allow
easily redefining a prototype incorrectly by swaping
order of arguments, example of a "trap":
type foo(a, b, c)
where a patch by hand could just change it to: