Symbol: utf32_to_utf8