val _ = Copy.copy (CommandLine.name(), CommandLine.arguments())