let var y := 0 in for x := 10 to 20 do y := y * 2; y end