svoid drawScaledPixelatedImage(BufferedImage canvas, BufferedImage img, Rect r) {
  if (canvas == null || img == null || r == null) ret;
  Graphics2D g = createGraphics(canvas);
  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.scale(scaleX, scaleY);
  //g.translate(r.x, r.y);
  g.drawImage(img, 0, 0, null);
}