JPEXS[0] is very full-featured if you're interested in porting swfs.

I revived this simple loop the other weekend and it was a breeze to extract the media;

https://fwoofy.moe/ (sound warning)

Original https://dagobah.net/flash/fwoofy.swf

[0] https://github.com/jindrapetrik/jpexs-decompiler