static GrabbableRGBBytePixels grabbableRGBBytePixels(BufferedImage img) {
  Raster raster = img.getRaster();
  SampleModel _sampleModel = raster.getSampleModel();
  if (!_sampleModel instanceof PixelInterleavedSampleModel) null;
  PixelInterleavedSampleModel sampleModel = cast _sampleModel;
  DataBufferByte dataBuffer = cast raster.getDataBuffer();
  assertEquals(1, dataBuffer.getNumBanks());
  assertEquals(DataBuffer.TYPE_BYTE, dataBuffer.getDataType());

  // Let's at this point assume the raster data is what we
  // think it is... (TODO: test on unusual platforms)
  
  int w = img.getWidth(), h = img.getHeight();
  int pixelStride = sampleModel.getPixelStride();
  int scanlineStride = sampleModel.getScanlineStride();
  byte[] pixels = dataBuffer.getData();
  int offset = dataBuffer.getOffset();
  int translateX = raster.getSampleModelTranslateX();
  int translateY = raster.getSampleModelTranslateY();
  offset += -translateX-translateY*scanlineStride;
  
  var imageModel = img.getColorModel();
  if (imageModel != ColorModel.getRGBdefault()) {
    assertEquals(w*3, scanlineStride);
    assertEquals(3, pixelStride);
    int n = pixels.length;
    byte[] newPixels = new[n];
    for (int i = 0; i < n; i += 3) {
      int rgb = imageModel.getRGB(
        ((pixels[i] & 0xFF) << 16)
        | ((pixels[i+1] & 0xFF) << 8)
        | (pixels[i+2] & 0xFF));
      newPixels[i] = (byte) (rgb >> 16);
      newPixels[i+1] = (byte) (rgb >> 8);
      newPixels[i+2] = (byte) rgb;
    }
    pixels = newPixels;
  }

  ret GrabbableRGBBytePixels(pixels, w, h, offset, scanlineStride, pixelStride);
}