srecord noeq WidthAndHeightImpl(int width, int height) extends Meta is WidthAndHeight {
  public int getWidth() { ret width; }
  public int getHeight() { ret height; }
  
  toString { ret n2(width) + "*" + n2(height) + " px"; }
}