Description of the illustration proc_decl_in_type.eps

PROCEDURE name [ ( parameter_declaration [, parameter_declaration ]... ) ]
   { IS | AS } { [ declare_section ] body | call_spec }