EncodeString appends the XDR encoded representation of the passed string to the Encoder's data. Character encoding is assumed to be UTF-8 and therefore ASCII compatible. If the underlying character encoding is not compatible with this assumption, the data can instead be written as variable-length
(v string)
source not stored for this graph (policy: none)