// from: https://stackoverflow.com/questions/14416107/int-array-to-bufferedimage
// pixels are RGB pixels
static BufferedImage bufferedImage(int[] pixels, int w, int h) {
  ret intArrayToBufferedImage(pixels, w, h);
}