Symbol: utf16_to_char