module DTAS::WritableIter