Synopsys:
modl
Push the result of the modulus of the two longs 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.
This instruction does NOT check for division by zero, so if it is attempted, the poke process will be aborted.
Stack: ( LONG LONG -- LONG LONG LONG )
Exceptions: PVM_E_DIV_BY_ZERO