Speccing out iteration code. Doesn't compile.