Skeleton of `for` loop