micro-optimizing push