public static int DumpText( List<string> args ) { string Filename = args[0]; string Outfilename = args[1]; var File = new FileStream( Filename, FileMode.Open ); Tbl tbl = new Tbl(); tbl.LoadFile( File ); File.Close(); System.IO.File.WriteAllLines( Outfilename, tbl.Strings.ToArray() ); return 0; }