krb5int_ucs4_to_utf8
size_t krb5int_ucs4_to_utf8(krb5_ucs4 c, char *buf);
size = krb5int_ucs4_to_utf8(t->ucs, buf);
chlen = krb5int_ucs4_to_utf8(ch, NULL);
(void)krb5int_ucs4_to_utf8(ch, p);