ExternalFloatArrayPrint  121 src/objects-printer.cc       ExternalFloatArray::cast(this)->ExternalFloatArrayPrint(out);
ExternalFloatArrayPrint 3976 src/objects.h    inline void ExternalFloatArrayPrint() {
ExternalFloatArrayPrint 3977 src/objects.h      ExternalFloatArrayPrint(stdout);
ExternalFloatArrayPrint 3979 src/objects.h    void ExternalFloatArrayPrint(FILE* out);