On Tue, Oct 15, 2013 at 03:55:49PM -0500, Hal Finkel wrote: > I completely understand; rerolling helps in practice: One more important item is the reverse of the loop idiom recognizer. If the user ended up writing code that expands to an unrolled loop even without being one in the original source form. Joerg