// Note: pixels need to have alpha value set
static BufferedImage intArrayToBufferedImage_new(int[] pixels, int w, int h) {
  var img = new BufferedImage(w, h, BufferedImage.TYPE_INT_ARGB);
  img.getRaster().setPixels(0, 0, w, h, pixels);
  ret img;
}