static BufferedImage transformBufferedImageWithSimplePixelOp(IF1_Int f, BufferedImage img) {
  if (img == null) null;
  int w = img.getWidth(), h = img.getHeight();
  int[] pixels = pixelsFromBufferedImage(img);
  int[] newPixels = new[pixels.length];
  BWImage img2 = new(w, h);
  for (int i = 0; i < pixels.length; i++)
    newPixels[i] = f.get(pixels[i]);
  ret bufferedImageFromPixels(w, h, newPixels);
}