srecord BufferedImageAsIRGBImage(BufferedImage image) is IRGBImage {
  public int getIntPixel(int x, int y) {
    ret getPixel(image, x, y);
  }
  
  public int getWidth() { ret image.getWidth(); }
  public int getHeight() { ret image.getHeight(); }
  public BufferedImage getBufferedImage() { ret image; }
}