27.1.12.9 Instruction muli
Synopsys:
Push the result of multiplying the two integers at the top of the
stack.
Note that this instruction does NOT check for signed overflow, and
in case it occurs, the result contents are UB.
Stack: ( INT INT -- INT INT INT )