3A12a: Push before anything more happens.