Symbol: krb5_config_get_string_default