A compound statement is a sequence of statement grouped to form a single statement, for use where the syntactic structure of the language demands. Compound statements are transparent to scopes. It is therefore permitted to go to a label which is set inside a compound statement. The syntax is
Compoundstatement
::=
BEGIN
Statementlist
END
Statementlist
::=
Statement
Statement
; Statementlist