static GrabbableRGBBytePixels grabbableRGBBytePixels(BufferedImage img) {

  Raster raster = img.getRaster();

  SampleModel _sampleModel = raster.getSampleModel();

  if (!_sampleModel instanceof PixelInterleavedSampleModel) null;

  // Check if we need a conversion to RGB (e.g. after unpacking a JPEG)

  var imageModel = img.getColorModel();

  if (imageModel != ColorModel.getRGBdefault()) 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;

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

}