Add stackpush.py.