<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_4n3br1rnius4836b0a5mpb34b8, 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 class Symbol {
  S text;
  MasterSymbol master;
  
  *() {}
  *(S *text, bool dummy) {} // weird signature to prevent accidental calling
  
  bool isMaster() { ret master == this; }
  public int hashCode() { ret main.hashCode(master.lowerCase); }
  toString { ret master.text; }
  public bool equals(O o) {
    bool result = o instanceof Symbol && master == o/Symbol.master;
    ifdef symbol_debug
      print("Symbol.equals: " + this + " vs " + o + " => " + result);
    endifdef
    ret result;
  }
}

static class MasterSymbol extends Symbol {
  S lowerCase;
  
  *() {}
  *(S *text, bool dummy) { master = this; lowerCase = lower(text); }
}