do

(do ((variable init step)...) (test expression...) command...)

An iteration: binds each variable to its init, then repeatedly evaluates test; while it is false it runs the commands and rebinds each variable to its step (a variable without step keeps its value). When test is true it evaluates the expressions and answers the last value, or the unspecified value when there are none. A do runs in constant stack.