docs: public static MutableRoaringBitmap naive_or(MutableRoaringBitmap... bitmaps) {
      MutableRoaringBitmap answer = new MutableRoaringBitmap();
      for (int k = 0; k < bitmaps.length; ++k) {
        answer.lazyor(bitmaps[k]);
      }
      answer.repairAfterLazy();
      return answer;
    }