swf_SetD64       1317 lib/as3/pool.c         swf_SetD64(tag, d);
swf_SetD64        260 lib/rfxswf.h   int    swf_SetD64(TAG*tag, double v);