static void RunWithCompressOptions(CompressOptions options) => CompressedSection.Compress(options.InputFile, options.OutputFile);
static void RunWithDumpOptions(DumpOptions options) => CompressedSection.Decompress(options.InputFile, options.OutputFile);