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();",
  );
  }