@Override
  protected void saveSerializationState(@NotNull IntEnumerator enumerator, @NotNull DataOutputStream stream) throws IOException {
    enumerator.dump(stream);
  }
@Override
  protected void saveSerializationState(@NotNull IntEnumerator enumerator, @NotNull DataOutputStream stream)