\subsection{Faculteit}
Als we de analyse op een compleet programma toepassen komt er een \textit{Piet}
programma uit dat behoorlijk fors is maar netjes zijn werk doet. Dit programma
berekent de faculteit van $x$ en stopt dat uiteindelijk in $y$.
\begin{lstlisting}[
	mathescape=true,
	basicstyle=\scriptsize,
	keepspaces=true,
	columns=flexible,
	numbers=left,
	numbersep=2pt,
	title=Faculteit in \textit{While},
	]
x:=5;
y:=1;
while $\neg$(x=1)
do (
	y:=y*x;
	x:=x-1
)
\end{lstlisting}

In piet ziet dit er als volgt uit...
