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);
}