docs: private void writeObject(java.io.ObjectOutputStream s)
              throws java.io.IOException {
          s.defaultWriteObject();
  
          // Write out size
          s.writeInt(size());
  
          // Write out elements in order.
          int mask = elements.length - 1;
          for (int i = head; i != tail; i = (i + 1) & mask)
              s.writeObject(elements[i]);
      }