block_statement

block_statement ::= 
      [ statement_identifier ":" ] 
      [ "declare" declarative_part ] 
      "begin" 
      handled_sequence_of_statements 
      "end" [ statement_identifier ] ";" 

[rule list]
This rule is called by

-> compound_statement