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