Bueno, pues lamentablemente no me ha funcionado, me dice esto.
De todas formas veo que el formato de salida parece ser png, lo que frustra mi intención de terminar con las ilustraciones en vector. Para sacarlas como imagen desde flash, diría, bastaría con colocarlas en frames diferentes y exportar la secuencia de jpg o el mismo png, claro.
Gracias de todas formas, desconocía que existieran este tipo de JavaScript! voy a ver si encuentro alguno que me sirva.