let var x:int := 10 in while x < 20 do x := x + 1 ; x end