k5_utf8s_to_ucs2s
len = k5_utf8s_to_ucs2s(*ucs2s, utf8s, chars + 1, 0);
len = k5_utf8s_to_ucs2s(*ucs2s, utf8s, chars + 1, 0);
len = k5_utf8s_to_ucs2s((krb5_ucs2 *)*ucs2les, utf8s, chars + 1, 1);
len = k5_utf8s_to_ucs2s((krb5_ucs2 *)*ucs2les, utf8s, chars + 1, 1);