\definecolor{dmagenta}{HTML}{C000C0}
\definecolor{black}{HTML}{000000}
\definecolor{white}{HTML}{FFFFFF}
+\definecolor{lgray}{HTML}{D3D3D3}
+\definecolor{dorange}{HTML}{FF4500}
\author{Mart Lubbers\and Marjolein Zwerver}
\title{Semantische analyse van \textit{Piet} middels een vergelijking met \textit{While}}