@blake2-ppc: Thanks for all the comments! What do you mean by this iterator doesn't have a bound though?