+/* options */
+extern bool dependency_global_b;
+extern String dependency_prefix_global;
+extern Array<String> dump_header_fieldnames_global;
+extern bool no_paper_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;
+
+
+/* misc */
+extern All_font_metrics *all_fonts_global;
+extern Array<String> failed_files;
+extern int exit_status_global;