swf_SetABCS32    1308 lib/as3/pool.c         swf_SetABCS32(tag, val);
swf_SetABCS32     256 lib/rfxswf.h   void swf_SetABCS32(TAG*tag, S32 v);