private static IEnumerable<string> GetFileNames(string[] args) { for (int k = 0; k < args.Length; k++) { string arg = args[k]; if (arg[0] == '-') { k++; continue; } if (!arg.EndsWith(".st")) continue; yield return arg; } }