iii.3.51-nop.md

III.3.51 nop – no operation

Format	Assembly Format	Description
00	nop	Do nothing.

Stack Transition:

…, → …,

Description:

The nop instruction does nothing. It is intended to fill in space if bytecodes are patched.

Exceptions:

None.

Correctness:

Verifiability:

The nop instruction is always verifiable.