Symbol: krb5_verify_ap_req2