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, "");