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