#### 6.1.1.13 Summary of Miscellaneous Clauses

The loop `named` construct gives a name for the block of the loop.

The loop `initially` construct causes its forms to be evaluated in the loop prologue, which precedes all loop code except for initial settings supplied by the constructs `with`, `for`, or `as`.

The loop `finally` construct causes its forms to be evaluated in the loop epilogue after normal iteration terminates.

For more information, see Miscellaneous Clauses.