ExternalShortArrayPrint  108 src/objects-printer.cc       ExternalShortArray::cast(this)->ExternalShortArrayPrint(out);
ExternalShortArrayPrint 3860 src/objects.h    inline void ExternalShortArrayPrint() {
ExternalShortArrayPrint 3861 src/objects.h      ExternalShortArrayPrint(stdout);
ExternalShortArrayPrint 3863 src/objects.h    void ExternalShortArrayPrint(FILE* out);