Synopsys:
modi
Push the result of the modulus of the two integers at the top of the stack. If the denominator is zero, raise PVM_E_DIV_BY_ZERO.
Note that this instruction does NOT check for signed overflow, and in case it occurs, the result contents are UB.
Likewise, this instruction does NOT check for division by zero, so if it is attempted, the poke process will be aborted.
Stack: ( INT INT -- INT INT INT )
Exceptions: PVM_E_DIV_BY_ZERO