svoid drawScaledPixelatedImage(Graphics2D etc g, BufferedImage img, Rect r) {
  if (g == null || img == null || r == null) ret;
  g.setRenderingHint(RenderingHints.KEY_INTERPOLATION, RenderingHints.VALUE_INTERPOLATION_NEAREST_NEIGHBOR);
  double scaleX = doubleRatio(r.w, img.getWidth());
  double scaleY = doubleRatio(r.h, img.getHeight());
  //print("drawScaledPixelatedImage: " + r + " " + scaleX + "/" + scaleY);
  g.translate(r.x, r.y);
  g.scale(scaleX, scaleY);
  g.drawImage(img, 0, 0, null);
}