Symbol: krb_convert