playAviMovieFile()
Show AVI file in VLC media player
pngPictureFilesToAviMovieFile()
Convert png files to avi movie using VirtualDub
writeVirtualDubConfiguration()
Write configuration file for VirtualDub