えーと、MediaPipeで適当に処理した映像と音声を、movにするのはわかるんだけど
AVIとして合体させるにはどうしたらいいの？

AVI Muxerを使えばできるのかな・・・でもファイル二つも読み込めないしな・・・