\section{Used functions and types}
\label{sec:ftypes}

\lstinputlisting[firstline=5,lastline=23,xleftmargin=0pt]{While/Common.dcl}
\lstinputlisting[firstline=34,lastline=34,xleftmargin=0pt]{While/Common.dcl}