val window : int ref
val number_of_variables : int ref
val use_wsquare : bool ref
val inline_single : bool ref
type twiddle_policy =
    TWIDDLE_LOAD_ALL
  | TWIDDLE_ITER
  | TWIDDLE_LOAD_ODD
  | TWIDDLE_SQUARE1
  | TWIDDLE_SQUARE2
  | TWIDDLE_SQUARE3
val twiddle_policy : twiddle_policy ref
val inline_konstants : bool ref
val inline_loads : bool ref
val loopo : bool ref
val rader_min : int ref
val rader_list : int list ref
val alternate_convolution : int ref
val times_3_3 : bool ref
val enable_fma : bool ref
val enable_fma_expansion : bool ref
val collect_common_twiddle : bool ref
val collect_common_inputs : bool ref
val verbose : bool ref
val do_debug_output : bool ref
val vectsteps_limit : int ref
