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