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