v2swf_backpatch   344 avi2swf/avi2swf.cc     v2swf_backpatch(&v2swf, outputfilename);
v2swf_backpatch    40 avi2swf/v2swf.h void v2swf_backpatch(v2swf_t*v2swf, char*filename);