+let out_dir = ref default_out_dir (* directory of generated files *)
+
+let proc_id = ref default_proc_id (* identifer for anticipations *)
+
+let test = ref default_test (* test anticipation *)
+
+let no_types = ref default_no_types (* omit types *)
+
+let global_alpha = ref default_global_alpha (* log alpha-unconverted identifiers *)
+
+let log_alpha = ref default_log_alpha (* log alpha-unconverted identifiers *)
+
+let log_missing = ref default_log_missing (* log missing notational macros *)
+
+let list_och = ref default_list_och (* output stream for list file *)
+
+let alpha_type = ref default_alpha (* data for type-based alpha-conversion *)
+
+let alpha_sort = ref default_alpha (* data for sort-based alpha-conversion *)