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; }
    ]],
    
    [[ void bla(Iterable<A> or A... l) { yo; } ]],
    [[
      void bla(A... l) { bla(asList(l)); }
      void bla(Iterable<A> l) { yo; }
    ]],
    
    [[ void bla(Cl or O... l) { yo; } ]],
    [[
      void bla(O... l) { bla(asList(l)); }
      void bla(Cl l) { yo; }
    ]],
    
    [[ void bla(Cl/O... l) { yo; } ]],
    [[
      void bla(O... l) { bla(asList(l)); }
      void bla(Cl l) { yo; }
    ]],
    
    [[ void bla(Collection/Object... l) { yo; } ]],
    [[
      void bla(Object... l) { bla(asList(l)); }
      void bla(Collection l) { yo; }
    ]],
    
    [[ void bla(Pt etc p) { yo; } ]],
    [[
      void bla(int p_x, int p_y) { bla(pt(p_x, p_y)); }
      void bla(Pt p) { yo; }
    ]],
  );
}