(while True)
(I loop)
(True)
(loop)
(True)
(loop)
(not True)
(False)
(end)