23.1.12.5 Instruction subi
Synopsys:
Push the result of subtracting 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 )