static RGBImageAndRect rgbImageAndRect_scaleToWidth(int width, RGBImageAndRect r) {
  RGBImage img = rgbScaleToWidth(r.image, width);
  Rect rect = rescaleRect_imageToImage(r.rect, r.image, img);
  ret RGBImageAndRect(img, rect);
}