PanLinx: push-down memory