This notion of "for" loop is more a notion of "foreach ... in" than the C version which is indeed equivalent to a while loop.