Hacker News Reader

You could have types __builtin_type_like_char_that_is_not_char and __builtin_type_like_uchar_that_is_not_uchar

There are no such things in the C Standard.

The standard provides for implementation-defined integer types. See my other comment: https://news.ycombinator.com/item?id=10868435

See also this suggestion that the gcc people, true to form, considered making uint8_t something other than unsigned char: https://news.ycombinator.com/item?id=10868953

I apologize. I wasn't aware of extended integer types.