srecord noeq ScaledBufferedImageFromIntegralImage(IIntegralImage img, int w, int h) is ScalingImageOpResult<IIntegralImage> {
  BufferedImage result;
  
  run {
    int[] pixels = img cast IntegralImage
      ? scaledPixelsFromIntegralImage(img, w, h)
      : scaledPixelsFromIntegralImage(img, w, h);
    result = bufferedImage(w, h, pixels);
  }
  
  public IIntegralImage scalingSrcImage() { ret img; }
}