read_d64          130 libcore/SWFStream.h 	double read_d64();
read_d64          514 libcore/abc/AbcBlock.cpp 		_doublePool[i] = _stream->read_d64();