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