Symbol: krb5_db2_check_policy_as