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