See <https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3366.htm>.
Editorial fix, "will decrement" -> "decrements".
There is very little language content in this paper (only some predefined macros).
I'm afraid I don't understand when exactly the predefined macros should be defined. Shall __STDC_LITERAL_UTF8__ be defined when narrow character set is UTF-8 and __STDC_WIDE_LITERAL_UTF{16,32}__ when the wide character set is UTF-16/32 (depending on wchar_precision)? Something else? If yes, checking for the default cases might be easier than when user uses -fexec-charset=/-fwide-exec-charset=, because with user specified charsets figuring out from whatever iconv groks if it is UTF-8/16/32 compatible might be harder.
Yes, it's about the exec-charset / wide-exec-charset.