<@U0JRS2YUB>: I didn't look at the source of Range...
# announcements
j
@sreich: I didn't look at the source of Range and map(), but
(0..4).map { 100 + it }
probably does more or less what the above code does.