VirtualDub: How to split and merge video files