Symbol: trace_depth_dec