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