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.