sS ffmpeg_mixVideoAndAudio_copy(File videoIn, File audioIn, File out) {
  ret ffmpeg(ffmpeg_argsForMixingVideoAndAudio_copy(videoIn, audioIn, out));
}