Common Lisp's LOOP macro is a fearsome beast.

http://www.ai.sri.com/~pkarp/loop.html

http://www.lispworks.com/documentation/HyperSpec/Body/m_loop...