svoid test_tok_akaFunctionNames() {
  testTranspilationFunction2 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); }",
    "void a aka b() throws Bla { c(); }",
      "final void b() throws Bla { a(); }\nvoid a() throws Bla { c(); }",
      
    // abstract methods
    "abstract void a aka b();",
      "final void b() { a(); }\nabstract void a();",
      
    // default methods
    "default void a aka b();",
      "default void b() { a(); }\n void a();",
      
    // same but without giving the default modifier
    "void a aka b();",
      "default void b() { a(); }\n void a();",
      
    // synchronized methods
    "synchronized void a aka b() { ... }",
      "final void b() { a(); }\n synchronized void a() { ... }",
  );
}