2.3.4 Block statement

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.