let trace_get = Trace.get