package_body_stub

package_body_stub ::= 
      "package" "body" defining_identifier "is" "separate" ";" 

This rule is called by

-> body_stub