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