subprogram_body

subprogram_body ::= 
      subprogram_specification "is" 
      declarative_part 
      "begin" 
      handled_sequence_of_statements 
      "end" [ designator ] ";" 

This rule is called by

-> library_unit_body
-> proper_body
-> protected_operation_item