docs: private void writeObject(ObjectOutputStream s) throws IOException {
      Iterator<E> it = iterator();
      s.writeInt(size() * 2);             // expectedMaxSize
      s.writeInt(size());
      while (it.hasNext())
        s.writeObject(it.next());
    }