Symbol: krb5_read_tkt_policy