A block statement has the form:
Decls BEGIN S END
where Decls is a sequence of declarations and S
is a statement.
The block introduces the constants, types, variables,
and procedures declared in Decls and then executes S.
The scope of the
declared names
is the block.