22.1.7.1 Instruction push

Synopsys:

push VAL

Push the value given as an argument to the main stack.

Stack: ( -- VAL )