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