void dump(@NotNull DataOutput stream, @NotNull IntUnaryOperator idRemapping) throws IOException {
    DataInputOutputUtilRt.writeINT(stream, myIds.size());
    int[] elements = new int[myIds.size()];
    myIds.getElements(0, elements, 0, elements.length);
    for (int id : elements) {
      int remapped = idRemapping.applyAsInt(id);
      if (remapped == 0) {
        throw new IOException("remapping is not found for " + id);
      }
      DataInputOutputUtilRt.writeINT(stream, remapped);
    }
  }
void dump(@NotNull DataOutput stream, @NotNull IntUnaryOperator idRemapping)