let var x:=0 var t:=5 in (while t do (x:=(t+x);t:=(t-1));x) end