let enable_timers verbose l = at_exit (Util.Timer.dump Format.err_formatter); if verbose then List.iter Util.Timer.enable l