swf_DumpABC       796 lib/rfxswf.h   void*swf_DumpABC(FILE*fo, void*code, char*prefix);
swf_DumpABC      1535 src/swfdump.c              swf_DumpABC(stdout, abccode, "");