Add PUSH. Fix bug in TAIL.