Symbol: krb5_pac_verify