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