<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_bvft6co7btllmaerbomutr4uu3, 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 />
svoid tok_insertCast(LS tok, int i, S type) {
  S expr = tok.get(i);
  S prev = get(tok, i-2), next = get(tok, i+2);
  bool needBrackets = !(
    doubleEq(prev, "=", next, ";")
  );
  tok.set(i, roundBracketIf(needBrackets, "(" + type + ") " + expr));
}