static RGB bufferedImage_getRGB(BufferedImage img, int x, int y) {
  ret img == null || x < 0 || y < 0 || x >= img.getWidth() || y >= img.getHeight() ? null : RGB(img.getRGB(x, y));
}

static RGB bufferedImage_getRGB(BufferedImage img, Pt p) {
  ret p == null ? null : bufferedImage_getRGB(img, p.x, p.y);
}