sS ffmpeg_argsForSplice_usingFile(File in, File out, L<DoubleRange>timestamps, O... _) {
  File f = createTempFile("ffmpeg", "txt");
  saveTextFile(f, ffmpeg_makeSpliceFilter(timestamps));
  ret "-i " + platformQuote(in) + " -filter_complex_script " + platformQuote(f) + " -map [outv] -map [outa] " +
    unnull(stringPar beforeOut(_)) + " " + platformQuote(out);
}