JSBuiltinsObjectPrint  151 src/objects-printer.cc       JSBuiltinsObject::cast(this)->JSBuiltinsObjectPrint(out);
JSBuiltinsObjectPrint 6271 src/objects.h    inline void JSBuiltinsObjectPrint() {
JSBuiltinsObjectPrint 6272 src/objects.h      JSBuiltinsObjectPrint(stdout);
JSBuiltinsObjectPrint 6274 src/objects.h    void JSBuiltinsObjectPrint(FILE* out);