let index_empty_texts = ref true
let sample_factor = ref 64
let disable_text_collection = ref false
let tc_threshold = ref 60000

let query = ref ""
let input_file = ref ""
let output_file : string option ref = ref None
let save_file = ref ""
let count_only = ref false
let time = ref false
let bottom_up = ref false
let no_jump = ref false
let no_cache = ref false
let verbose = ref false
let text_index_type = ref 0
let do_perf = ref false
let twopass = ref false
let repeat = ref 1
let docstats = ref false
let no_wrap_results = ref false