swf_GetD64       1113 lib/as3/pool.c         double d = swf_GetD64(tag);
swf_GetD64        259 lib/rfxswf.h   double swf_GetD64(TAG*tag);