--- /dev/null
+\begin{figure}
+
+
+%\paragraph{Default settings}
+%\begin{grammar}
+
+%<statement> ::= <ident> `=' <expr>
+%\alt `for' <ident> `=' <expr> `to' <expr> `do' <statement>
+%\alt `{' <stat-list> `}'
+%\alt <empty>
+
+%<stat-list> ::= <statement> `;' <stat-list> | <statement>
+
+%\end{grammar}
+
+\caption{\label{fig:algorithm}\TOOL algorithm}
+\end{figure}