_krb5_use_dns_kdc
if (!_krb5_use_dns_kdc(context) || !use_dns_uri(context))
int use_dns = _krb5_use_dns_kdc(context);
int _krb5_use_dns_kdc (krb5_context);