sclass DifferentialRegionsMaker_RGBImage extends DifferentialRegionsMaker<RGBImage> {
  int getRGB(int pos) { ret image.getIntPixel_noRangeCheck(pos); }
  
  *(BufferedImage img) { super(RGBImage(img)); }
  *(RGBImage img) { super(img); }
}