code: public static final void writeUTF(OutputStream out,
                                        String str, char[] workspace)
          throws IOException
      {
          writeUTF(out, str, 0, str.length(), workspace);
      }
docs: Writes UTF-8 encoded characters to the given stream, but does not write
  the length.
  
  @param workspace temporary buffer to store characters in