<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_l54mpfnc7dmkmbd3cjl65ttrue, 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 />
static void varyRoundedBoxWithColor(RoundedBoxWithColor l, int w, int h) {
  int i = random(4);
  if (i == 0) l.a = varyPoint(l.a, w, h);
  else if (i == 1) l.b = varyPoint(l.b, w, h);
  else if (i == 2) l.roundness = max(0, varyInt(l.roundness));
  else l.color = varyColor(l.color);
}