Symbol: auxtrace_synth_id_range_start