Symbol: convert_utf8_to_ucs4