srecord noeq WidthAndHeightImpl(int w, int h) is WidthAndHeight {
  public int getWidth() { ret w; }
  public int getHeight() { ret h; }
}