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