Symbol: benchmark_pushpop4