svoid test_tok_akaFunctionNames() {
  testTranspilationFunction tok_akaFunctionNames(
    "void tailCall aka replace(Computable x) { bla(); }",
      "final void replace(Computable x) { tailCall(x); }\nvoid tailCall(Computable x) { bla(); }"
    "final void tailCall aka replace(Computable x) { bla(); }",
      "final void replace(Computable x) { tailCall(x); }\nfinal void tailCall(Computable x) { bla(); }"
    "S tailCall aka replace(Computable x) { ret bla(); }",
      "final S replace(Computable x) { return tailCall(x); }\nS tailCall(Computable x) { ret bla(); }"
    "void a aka b aka c() { d(); }",
      "final void b() { a(); }\nfinal void c() { a(); }\nvoid a() { d(); }"
    "void mapMethodLike a aka b(S s) { c(s); }",
      "final void mapMethodLike b(S s) { a(s); }\nvoid mapMethodLike a(S s) { c(s); }"
  );
  }