static GrabbableIntPixels grabbableIntPixels_fastOrSlow(BufferedImage image) {
  pcall {
    GrabbableIntPixels gp = grabbableIntPixels(image);
    if (gp != null) ret gp;
  }
    
  // Use pixelGrabber if quick method fails
  PixelGrabber pixelGrabber = new(image, 0, 0, w, h, data, 0, w);
  if (!pixelGrabber.grabPixels())
    fail("Could not grab pixels");
      
  ret GrabbableIntPixels(data, w, h, 0, w);
}

static GrabbableIntPixels grabbableIntPixels_impl(BufferedImage img) {
  Raster raster = img.getRaster();
  SampleModel _sampleModel = raster.getSampleModel();
  if (!_sampleModel instanceof SinglePixelPackedSampleModel) null;
  SinglePixelPackedSampleModel sampleModel = cast _sampleModel;
  DataBufferInt dataBuffer = cast raster.getDataBuffer();
  assertEquals(1, dataBuffer.getNumBanks());
  assertEquals(DataBuffer.TYPE_INT, 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 scanlineStride = sampleModel.getScanlineStride();
  int[] pixels = dataBuffer.getData();
  int offset = dataBuffer.getOffset();
  int translateX = raster.getSampleModelTranslateX();
  int translateY = raster.getSampleModelTranslateY();
  offset += -translateX-translateY*scanlineStride;
  ret GrabbableIntPixels(pixels, w, h, offset, scanlineStride);
}