Symbol: krb5_db_check_policy_as