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