in src/libraries/utf/include/m/utf/encode.h [381:384]
constexpr OutIterT encode_char(DestCharT, UcsCharT ch, OutIterT it) { return encode_utf8(DestCharT{}, ch, it); }