Symbol: trace_clock_counter