@Override
  protected @NotNull IntEnumerator readSerializationState(@NotNull StubInputStream stream) throws IOException {
    return IntEnumerator.read(stream);
  }
@Override
  protected @NotNull IntEnumerator readSerializationState(@NotNull StubInputStream stream)