svoid test_tok_akaFunctionNames() {
  print(applyTranspilationFunction tok_akaFunctionNames("void tailCall aka replace(Computable x) { bla(); }"));
  print(applyTranspilationFunction tok_akaFunctionNames("S tailCall aka replace(Computable x) { ret bla(); }"));
}