svoid test_tok_onCleanExit() {
  testTranspilationFunction tok_onCleanExit(
    "{ bla; on clean exit { something(); } blub; } more();",
    [[
      {
        bla;
        {
          bool __0;
          try {
            blub;
          } on fail {
            set __0;
          } finally {
            if (!__0) { something(); }
          }
        }
      }
      more();
    ]],
  );
  }