+let out_dir = ref default_out_dir (* directory of generated files *)
+
+let proc_id = ref default_proc_id (* identifer for anticipations *)
+
+let check = ref default_check (* check transformations *)
+
+let no_types = ref default_no_types (* omit types *)
+
+let no_proofs = ref default_no_proofs (* omit proofs *)
+
+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 *)