:
colon character. This marks a necessary indent.:
colon and no indenting of the subsequent line.if
conditional.monitor
and loop ... in ...
effects.jump
instructions are likely to be symmetrical but, to make this easier for the verifier, each jump injects another label at the location during assembly to make sure the stack frame is properly calculable. These may be collapsed during compilation if the frame is symmetrical. An example is shown below.