srecord noeq WidthAndHeightImpl(int width, int height) extends Meta is WidthAndHeight, ByteIO { public int getWidth() { ret width; } public int getHeight() { ret height; } toString { ret n2(width) + "*" + n2(height) + " px"; } public void readWrite(ByteHead head) { head.exchangeInt(l0 width, l1 setWidth); head.exchangeInt(l0 height, l1 setHeight); } }