Symbol: krb5int_utf8c_chars