while 1: push()