static RGBImage rgbMarkPoint(RGBImage img, Pt p, Color color, int size) {
  if (img == null || p == null) ret img;
  rgbFillRect(img, p.x-size/2, p.y-size/2, size, size, color);
}