Symbol: bench_synthesize