let trace_reset = Trace.reset