agssim: factor out push/pop