procedure_heading [accessible_by_clause] ;