bufferWriteDouble  225 src/actioncompiler/compile.h int bufferWriteDouble(Buffer out, double d);
bufferWriteDouble 5922 src/actioncompiler/swf5compiler.tab.c 		  bufferWriteDouble((yyval.action), (yyvsp[(1) - (1)].doubleVal)); }
bufferWriteDouble 6159 src/actioncompiler/swf5compiler.tab.c     { (yyval.len) = bufferWriteDouble(asmBuffer, (yyvsp[(1) - (1)].doubleVal)); }
bufferWriteDouble 1775 src/actioncompiler/swf5compiler.y 		  bufferWriteDouble($$, $1); }
bufferWriteDouble 1986 src/actioncompiler/swf5compiler.y 	| DOUBLE		{ $$ = bufferWriteDouble(asmBuffer, $1); }