package_body

package_body ::= 
      "package" "body" defining_program_unit_name "is" 
      declarative_part 
      [ "begin" 
      handled_sequence_of_statements ] 
      "end" [ [ parent_unit_name "." ] identifier ] ";" 

This rule is called by

-> library_unit_body
-> proper_body