krb5int_utf8_to_ucs4
int krb5int_utf8_to_ucs4(const char *p, krb5_ucs4 *out);
if (krb5int_utf8_to_ucs4(s1 + i, &ucs[ulen]) == -1) {
if (krb5int_utf8_to_ucs4(s2 + i, &ucs[ulen]) == -1) {
if ((t->len == 0 || high4) && krb5int_utf8_to_ucs4(t->p, &u) != -1) {
if (krb5int_utf8_to_ucs4(t->p, &u) != 0 && t->ucs != 0 && !high4) {