srecord noeq WAndHImpl(int w, int h) extends Meta is WidthAndHeight { public int getWidth() { ret w; } public int getHeight() { ret h; } toString { ret n2(w) + "*" + n2(h) + " px"; } void setSize(int w, int h) { this.w = w; this.h = h; } }