Symbol: utf8_to_ucs4