Miscellany

if (args.Length == 0){
string outputfile = "output.txt";
} else {
string outputfile = args[0];
}