Place to discuss the interface for loops (with a working reference implementation for discussion)