Symbol: krb5int_ucs4_to_utf8