<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_au46gqaj5mb1vok3s97it0mndu, 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 test_tok_onCleanExit() {
  testTranspilationFunction tok_onCleanExit(
    "{ bla; on clean exit { something(); } blub; } more();",
    [[
      {
        bla;
        try {
          bool __0;
          blub;
        } on fail {
          set __0;
        } finally {
          if (!__0) { something(); }
        }
      }
      more();
    ]],
  );
  }