sS ffmpeg_argsForSplice_multipleInputVideos(File in, File out, LL<DoubleRange> timestamps) {
  File f = createTempFile("ffmpeg", "txt");
  saveTextFile(f, ffmpeg_makeSpliceFilter_multipleInputVideos(timestamps));
  ret "-i " + platformQuote(in) + " -filter_complex_script " + platformQuote(f) + " -map [outv] -map [outa] " + platformQuote(out);
}