void DumpRegistryFile(string[] args) { if (args.Length < 1) { throw new InstallException("A file name is required."); } registry.DumpFile(args[0]); }