do

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

反復構文です。各 variable を init に束縛し、test を繰り返し評価します。偽の間は command を実行して各変数を step に束縛し直します（step のない変数は値を保ちます）。test が真になると expression を評価して最後の値を返し、式がなければ未規定値を返します。do は一定のスタックで動きます。