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