extern bool verbose_global_b;
extern bool store_locations_global_b;
extern bool internal_type_checking_global_b;
-extern bool debug_beam_quanting_flag;
-
+extern bool make_png;
+extern bool make_pdf;
+extern bool make_preview;
/* misc */
extern Array<String> failed_files;