+END
+
+IFDEF PARSER THEN
+let debug_parser = ref false (* output parser debug information *)
+END
+
+IFDEF TRACE THEN
+let ct = ref 0 (* current trace level *)
+END
+
+IFDEF SUMMARY THEN
+let summary = ref false (* log summary information *)
+END
+
+IFDEF EXPAND THEN
+let expand = ref false (* always expand global definitions *)
+END
+
+IFDEF MANAGER THEN
+let manager_dir = ref "" (* output directory for manager *)
+let manager = ref Quiet (* manager *)
+let preamble = ref "" (* preamble file for manager *)
+END
+
+IFDEF STAGE THEN
+let stage = ref 3 (* stage *)
+END
+
+IFDEF OBJECTS THEN
+let export = ref false (* export entities to XML *)
+let xdir = ref "" (* directory for XML output *)
+END
+
+IFDEF PREPROCESS THEN
+let preprocess = ref false (* preprocess source *)
+END
+
+IFDEF QUOTE THEN
+let quote = ref false (* quote identifiers when lexing *)
+END
+
+IFDEF TYPE THEN
+let validate = ref true (* validate vs. typecheck *)
+let icm = ref 0 (* complexity measure of relocated terms *)
+END