Miscellany

\begin{lstlisting}
e := 0

while a != b do
»···e := e + 1
»···b := b + 1 // break
end

\end{lstlisting}