srecord WrappedBufferedImage(BufferedImage image) is IRGBImage {
  public int getWidth() { ret image.getWidth(); }
  public int getHeight() { ret image.getHeight(); }
}