rite remaining characters to dest.</SPAN>
        <SPAN CLASS="keyword">if</SPAN> (off == std::string::npos) {
            dictionary_.replace(current_word);
            off = <SPAN CLASS='numeric_literal'>0</SPAN>;
        }
        <SPAN CLASS="keyword">if</SPAN> (!current_word.empty())
            iostreams::write( 
                dest,
                current_word.data() + off, 
                <SPAN CLASS="keyword">static_cast</SPAN>&lt;std::streamsize&gt;(current_word.size() - off) 
            );
  