-String get_version_str();
-String get_version_number_str();
-extern Sources* source_l_g;
-extern bool only_midi;
-extern int exit_status_i_;
+void call_constructors ();
+
+Array<String> get_inclusion_names ();
+void set_inclusion_names (Array<String>);
+
+
+extern String init_name_global;
+
+/* options */
+extern Array<String> dump_header_fieldnames_global;
+extern bool no_layout_global_b;
+extern String output_format_global;
+extern String output_name_global;
+extern bool safe_global_b;
+extern bool verbose_global_b;
+extern bool store_locations_global_b;
+extern bool internal_type_checking_global_b;
+
+/*
+ todo: collect in Output_option struct?
+ */
+extern bool make_png;
+extern bool make_dvi;
+extern bool make_ps;
+extern bool make_pdf;
+extern bool make_tex;
+extern bool make_preview;
+extern bool make_pages;
+
+/* misc */
+extern Array<String> failed_files;
+extern int exit_status_global;
+extern File_path global_path;
+
+/*
+ Debugging options
+ */