21.1.7.18 Instruction pushhi
Synopsys:
Push the high 32 bits of the value passed as an argument to the main
stack. This instruction shall be completed with a ‘pushlo’.
This instruction is a workaround to a limitation of Jitter.
Stack: ( -- HI32(VAL) )