* http://cs.unibo.it/helm/.
*)
+let cwd = ref Filename.current_dir_name
+
let verbose_parser = ref false
let verbose_lexer = ref false
let verbose_escape = ref false
let comments = ref true
+
+let getter = ref false
+
+let sources = ref ([]: string list)