Implemented loop.has_next, loop.index.