(for (x 10 20) (:= y (* y 2)))