<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_07c6jaljdob745rvpuu2bfkuuj, 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 Tok_SimpleSizeAnalysis(LS tok) {
  new LS lines;
  
  S get() {
    scan(tok);
    ret lines(sorted(lines));
  }
  
  void scan(LS tok) {
    for (IntRange r : tok_allCurlyBodies(tok))) {
      int iLineStart = tok_beginningOfLine(tok2, r.start);
      int tokens = countTokens(r);
      lines.add(lpad(11, nTokens(tokens)) + ": " 
        + shorten(trimJoinSubList(tok2, iLineStart, r.start-1)));
    
      scan(tokSubList(tok, r));
    }
  }
}