+/***************************************************************/
+/*!
+ *\brief Get exported symbols.
+ *\return A vector containing the symbol names exported by this
+ * block.
+ */
+vector<string> data_block_6::get_exported_symbols(){
+ vector<string> result;
+ result.insert(result.end(),extract_label(3));
+ return result;
+}