static BufferedImage scaledBufferedImageFromBWIntegralImage(int w, BWIntegralImage img) {
  ret scaledBufferedImageFromBWIntegralImage(img, w);
}

static BufferedImage scaledBufferedImageFromBWIntegralImage(BWIntegralImage img, int w, int h default heightForWidth(img.w, img.h, w)) {
  int w1 = img.w, h1 = img.h;
  int[] pixels = new[w*h];
  int i = 0;
  for y to h:
    for x to w: {
      // TODO: optimize
      int x1 = x*w1/w, x2 = max(x1+1, (x+1)*w1/w);
      int y1 = y*h1/h, y2 = max(y1+1, (y+1)*h1/h);
      int pixel = iround(img.getPixelAverage(x1, y1, x2, y2));
      pixels[i++] = brightnessToRGBA(pixel);
    }
  ret bufferedImage(w, h, pixels);
}

Began life as a copy of #1019597