2 Als we de analyse op een compleet programma toepassen komt er een \textit{Piet}
3 programma uit dat behoorlijk fors is maar netjes zijn werk doet. Dit programma
4 berekent de faculteit van $x$ en stopt dat uiteindelijk in $y$.
5 \begin{lstlisting}[title=Faculteit in \textit{While}]
15 In \textit{Piet} ziet dit er als volgt uit...
16 \begin{lstlisting}[title=Faculteit in \textit{Piet'}]
22 // $\neg$(x=1) $\equiv$ \neg(x-1)>0)
38 push 1 // zet $0$ op de stack
42 gre // $\neg(x-1)>0$ oftewel x=1
44 pointer // als x=0 dan draait de DP niet en gaat het programma naar pad B
45 // als x$\neq$ dan draait de DP en gaat het programma naar pad A
48 skip // een oneindig aantal witte blokken, y is nu x!
49 // evt een outchar om $y$ naar standardout te printen
87 // nu gaat het programma weer via een wit pad naar markering A
90 Wat in piet er uit zit als in \ref{fig:img3}
92 \caption{Factulteit vanuit \textit{While} naar \textit{Piet}}
95 \fbox{\includegraphics[natheight=320px, natwidth=256px, height=320px,
96 width=256px]{img3.png}}