_krb5_use_dns_realm
if (!_krb5_use_dns_realm(context) || k5_is_numeric_address(host))
if (!_krb5_use_dns_realm(context))
int _krb5_use_dns_realm (krb5_context);