out.write(buf, offset, len); written += len;
out.write (value); ++written;
  public synchronized void write (byte[] buf, int offset, int len)      throws IOException  {    out.write(buf, offset, len);    written += len;  }