ExternalIntArrayPrint  115 src/objects-printer.cc       ExternalIntArray::cast(this)->ExternalIntArrayPrint(out);
ExternalIntArrayPrint 3918 src/objects.h    inline void ExternalIntArrayPrint() {
ExternalIntArrayPrint 3919 src/objects.h      ExternalIntArrayPrint(stdout);
ExternalIntArrayPrint 3921 src/objects.h    void ExternalIntArrayPrint(FILE* out);