let interactive = ref false
let trace = ref false
let unchecked = ref false
let print_sig = ref false
let dry = ref false
let width = ref 80
let harness = ref true
let budget = ref 256
let gas = ref 0xFFFFFFFFFFFFFFFL
let trace_gas = ref false
let trace_gas_ops = ref false