Symbol: char_to_utf16