subprogram_body_stub

subprogram_body_stub ::= 
      subprogram_specification "is" "separate" ";" 

This rule is called by

-> body_stub