// pixels are RGB pixels
static BufferedImage intArrayToBufferedImage(int[] pixels) {
  int[] bitMasks = new int[]{0xFF0000, 0xFF00, 0xFF, 0xFF000000};
  SinglePixelPackedSampleModel sm = new(DataBuffer.TYPE_INT, width, height, bitMasks);
  DataBufferInt db = new DataBufferInt(pixels, pixels.length);
  WritableRaster wr = Raster.createWritableRaster(sm, db, new Point);
  ret new BufferedImage(ColorModel.getRGBdefault(), wr, false, null);
}