<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_go4eqi6acdr8f95lkvevjvtskk, 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 />
sclass TokenIndexedList extends RandomAccessAbstractList<S> {
  new Map<S, Token> index; // first occurrence of token
  new L<Token> list;
  
  sclass Token {
    S s;
    Token prevSame, nextSame;
  }
  
  public S get(int i) { ret list.get(i).s; }
  public int size() { ret list.size(); }
  public void set(int i, S s) {
    Token t = list.get(i);
    if (eq(t.s, s)) ret;
    t.prevSame.nextSame = t.nextSame;
    t.nextSame.prevSame = t.nextSame;
    // ...
  }
}