srecord noeq ScaledBWImageFromBWIntegralImage(IBWIntegralImage img, int w, int h) is ScalingImageOpResult<IBWIntegralImage> {
  BWImage result;
  
  run {
    byte[] pixels = img cast BWIntegralImage
      ? scaledGrayBytesFromBWIntegralImage(img, w, h)
      : scaledGrayBytesFromBWIntegralImage(img, w, h);
    result = new BWImage(w, h, pixels);
  }
  
  public IBWIntegralImage scalingSrcImage() { ret img; }
}