Symbol: krb5_config_vget_string_default