How to save animations on screen to a video file (like 3gp or avi)?

How to save animations on screen to a video file (like 3gp or avi)?

There are many display objects on screen. I hear ffmpeg can record to video file from image sequences! Can corona support developers add ffmpeg to corona sdk? Which version do I need to buy, pro or enterprise?