procedure_heading {
IS
|
AS
} [ declare_section ] body