val utf16c_to_utf8c : string -> string