sS ffmpeg_argsForSplice(File in, File out, L<DoubleRange> timestamps) {
  ret "-i " + platformQuote(in) + " -filter_complex " + platformQuote(ffmpeg_makeSpliceFilter(timestamps)) + " -map [outv] -map [outa] " + platformQuote(out);
}