(x := 1; while x < 10 do x := (x * 2) end)