[ << label >> ]... [ DECLARE declare_section ] body