27.1.8.18 Instruction push32

Synopsys:

push32 HI LO

Push the value passed as two arguments on the stack. This instruction is a workaround to a limitation of Jitter.

Stack: ( -- VAL )