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

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