<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_lrg3bvudohak7v88db0kmfdk3m, 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 />
!7

p {
  S text = "abc";
  int x = 0, y = 0;
  for (char c : text) {
    if (!isWhiteSpace(c))
      print("Char " + quote(c) + " at (" + x + " " + y + " size 8 8)");
    if (eq(c, '\n')) {
      x = 0;
      y += 8;
    } else if (eq(c, '\t'))
      x += 8*tabSize();
    else
      x += 8;
  }
}