17.1.6.19 Instruction push32

Synopsys:

push32 VAL

Push the value passed as an argument on the stack. This assumes that the internal representation of VAL doesn’t require more than 32-bit.

This instruction is a workaround to a limitation of Jitter.

Stack: ( -- VAL )