let dry_mode = ref false
let explain_mode = ref false

  pad : I added this one
let strict_mode = ref false
let verbose = ref false

let dump_tokens = ref false
let dump_ast = ref false
let dump_env = ref false
let dump_graph = ref false
let dump_jobs = ref false

let trace = ref false
let debugger = ref false

let dry_mode = ref false
let explain_mode = ref false

  pad : I added this one
let strict_mode = ref false
let verbose = ref false

let dump_tokens = ref false
let dump_ast = ref false
let dump_env = ref false
let dump_graph = ref false
let dump_jobs = ref false

let trace = ref false
let debugger = ref false
