static void rgbFill(RGBImage img, int x1, int y1, int w, int h, int color) {
  for y to h: for x to w: img.setPixel(x1+x, y1+y, color);
}

static void rgbFill(RGBImage img, Rect r, RGB color) {
  rgbFill(img, r.x, r.y, r.w, r.h, color.getInt());
}