Dump video to a file, implemented in terms of modules