instructions to push