static BufferedImage newBufferedImageWithAlpha(int w, int h, int[] pixels) {
  ret intArrayToBufferedImage(pixels, w, h);
}