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