code: private void expandBuffers() {
      if (this.serialized.length < size + ARC_SIZE * MAX_LABELS) {
        serialized = java.util.Arrays.copyOf(serialized, serialized.length + bufferGrowthSize);
        serializationBufferReallocations++;
      }
    }
docs: Expand internal buffers for the next state.