svoid test_tok_multiTypeArguments() {
  testTranspilationFunction tok_multiTypeArguments_v2(
    [[ sS loadTextFile(File/S file) { ... } ]],
    [[
      sS loadTextFile(S file) { return loadTextFile(newFile(file)); }
      sS loadTextFile(File file) { ... }
    ]],
    [[ sS loadTextFile(File/S file, S def) { ... } ]],
    [[
      sS loadTextFile(S file, S def) { return loadTextFile(newFile(file), def); }
      sS loadTextFile(File file, S def) { ... }
    ]],
    [[ sS loadTextFile(File/S file) { ... } ]],
    [[
      sS loadTextFile(S file) { return loadTextFile(newFile(file)); }
      sS loadTextFile(File file) { ... }
    ]],
    
    [[ void bla(Graphics2D etc g, int x, int y) { yo; } ]],
    [[
      void bla(BufferedImage g, int x, int y) { bla(graphics(g), x, y); }
      void bla(Graphics2D g, int x, int y) { yo; }
    ]],
    
    [[ void bla(Iterable<A> or A[] l) { yo; } ]],
    [[
      void bla(A[] l) { bla(asList(l)); }
      void bla(Iterable<A> l) { yo; }
    ]],
  );
}