On Nov 12, 2011, at 4:25 PM, Axel Rauschmayer wrote: >> There is no requirement that ...r consume 1 element, > > It consumes 0 elements above. Sorry, misread your example -- we seem to agree that if there aren't enough elements, r gets a fresh empty array. /be