WHILETRUE appears to work now. The example is still wrong.