sig val enable : bool Pervasives.ref val dump_data : bool Pervasives.ref end