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