_krb5_get_default_config_config_files_from_registry
reg_files = _krb5_get_default_config_config_files_from_registry();
_krb5_get_default_config_config_files_from_registry (void);