<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_ksfe6hvdso3feupgjrpttr4iov, 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 />
!7

svoid warn(S s) {
  fail(s);
}

p-exp {
  saveTextFile(userDir("concepts.buggy.beautified"),
    beautifyStructure(javaTokWordWrap(loadTextFileGZ(userDir("concepts.buggy.structure.gz")))));
  
  safeUnstructGZFile(userDir("concepts.buggy.structure.gz"));
}