push property

Push push
getter/setter pair

Implementation

Push push;