Write_to_
Link could refer to the following module-defined implementations:
/avail/Avail/Data Abstractions/Iterators/Abstract Iterators
/avail/Avail/IO/Common