Symbol: benchmark_pushpop2