krb5int_ucs4_to_utf8
size_t krb5int_ucs4_to_utf8(krb5_ucs4 c, char *buf);
return krb5int_ucs4_to_utf8((krb5_ucs4)c, buf);