sig
  val registers_nb : int Pervasives.ref
  val remove_useless_functions : bool Pervasives.ref
  val minimize_spills : bool Pervasives.ref
  val use_flags : bool Pervasives.ref
  val local_opts : bool Pervasives.ref
end