code: public final CheckedMemorySegment put(DataInput in, int offset, int length) throws IOException {
  		if (offset >= 0 && offset < this.size && length >= 0 && offset <= this.size - length) {
  			in.readFully(this.memory, this.offset + offset, length);
  			return this;
  		} else {
  			throw new IndexOutOfBoundsException();
  		}
  	}
docs: Bulk put method. Copies length memory from the given DataInput to the
  memory starting at position offset.
  
  @param in The DataInput to get the data from.
  @param offset The position in the memory segment to copy the chunk to.
  @param length The number of bytes to get.
  @return This random access view itself.
  
  @throws IOException Thrown, if the DataInput encountered a problem upon reading,
  such as an End-Of-File.