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