comments on ArithDSSIterator + example file