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