Symbol: tracespec