<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_b9dsjpcqssnk50b3r72kgpko1u, 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 />
// optional S bla;
// => S bla() { ret getOpt(this, "bla"); }
//    void bla(S bla) { setOpt(this, "bla", bla); }
svoid tok_optionalFields(LS tok) {
  for (int i : jfindAll_reverse(tok, "optional <id>")) {
    int iSemicolon = tok_endOfStatement(tok, i)-1;
    S var = tok.get(iSemicolon-2);
    S type = joinSubList(tok, i+2, iSemicolon-3);
    tokReplace_reTok(tok, i, iSemicolon+1,
      "public \*type*/ \*var*/() { ret (\*type*/ getOpt(this, \*quote(var)*/); }\n" +
      "public void var(\*type*/ var) { setOpt(this, \*quote(var)*/, \*var*/); }");
  }
}