svoid setRGB(BufferedImage img, Pt p, RGB rgb) {
  img?.setRGB(p.x, p.y, rgb.asIntWithAlpha());
}