The effects are "included" - whatever that means in the swf but it's rendered from code, so you'll have a hard time exporting it to avi, and by hard time I mean: No you can't! If you really really really want them to be in a avi movie, you will have to record the swf with a recorder like Fraps but I will not go into details.