ExternalDoubleArrayPrint  124 src/objects-printer.cc       ExternalDoubleArray::cast(this)->ExternalDoubleArrayPrint(out);
ExternalDoubleArrayPrint 4005 src/objects.h    inline void ExternalDoubleArrayPrint() {
ExternalDoubleArrayPrint 4006 src/objects.h      ExternalDoubleArrayPrint(stdout);
ExternalDoubleArrayPrint 4008 src/objects.h    void ExternalDoubleArrayPrint(FILE* out);