*
* Permission to use, copy, modify, distribute, and sell this software and its
* documentation for any purpose is hereby granted without fee, provided that
*
* Permission to use, copy, modify, distribute, and sell this software and its
* documentation for any purpose is hereby granted without fee, provided that
saver_preferences *, const char *version_string,
Bool verbose_p);
const char *init_file_name (void);
saver_preferences *, const char *version_string,
Bool verbose_p);
const char *init_file_name (void);