block

block ::= { declaration } 
      [ "BEGIN" 
      statement { ";" statement } ] 
      "END" 

This rule is called by

-> module_declaration
-> procedure_declaration
-> program_module