Implement `while'