mplayer and compressed swf files

[tspivey@xxxxxxxxxx (Tyler Spivey)]

There was a swf extraction program that extracted sound from swf files.
I know it works, but can't recall the name right now. A google search
for swf extract linux should turn it up.
A quick search reveals http://swftools.org which seems promissing.