Translate push/pop commands for the static segment. This passes the StaticTest.