val tc_threshold : int ref
val bottom_up : bool ref
val no_jump : bool ref
+val no_cache : bool ref
val verbose : bool ref
val text_index_type : int ref
val do_perf : bool ref
val twopass : bool ref
+val repeat : int ref
+val docstats : bool ref
+val no_wrap_results : bool ref