ExternalUnsignedShortArrayPrint  112 src/objects-printer.cc           ->ExternalUnsignedShortArrayPrint(out);
ExternalUnsignedShortArrayPrint 3889 src/objects.h    inline void ExternalUnsignedShortArrayPrint() {
ExternalUnsignedShortArrayPrint 3890 src/objects.h      ExternalUnsignedShortArrayPrint(stdout);
ExternalUnsignedShortArrayPrint 3892 src/objects.h    void ExternalUnsignedShortArrayPrint(FILE* out);