A dummy statement is a void whose execution has no effect. For example, a dummy statement follows the colon in
; label: END
The syntax rule is
Dummystatement ::= void