void set_default_output (String s);
String find_file (String);
String get_version_str();
void set_default_output (String s);
String find_file (String);
String get_version_str();
void call_constructors ();
extern Sources* source_global_l;
extern bool no_paper_global_b;
void call_constructors ();
extern Sources* source_global_l;
extern bool no_paper_global_b;
extern String default_outname_base_global;
extern String default_outname_suffix_global;
extern int default_count_global;
extern String default_outname_base_global;
extern String default_outname_suffix_global;
extern int default_count_global;