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