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

The following functions are considered known. If not, looking them up is easy
using Cloogle~\citep{cloogle}.

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