Symbol: utf8_to_utf32