Symbol: benchmark_pushpop3