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