Implemented desugar example of while, as seen in class.