svoid test_tok_multiTypeArguments() {
  testTranspilationFunction tok_multiTypeArguments(
    [[ sS loadTextFile(File/S file) { ... } ]],
    [[
      sS loadTextFile(S file) { ret loadTextFile(newFile(file)); }
      sS loadTextFile(File file) { ... }
    ]]);
}