<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_he3ht0t8feoh3g4449l9ddjf6q, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
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, w -> width = w);
    head.exchangeInt(l0 height, h -> height = h);
  }
}