Symbol: utf8_char