Symbol: synthesize_probe_trace_arg