for-loops and subrange types