JSGlobalProxyPrint  145 src/objects-printer.cc       JSGlobalProxy::cast(this)->JSGlobalProxyPrint(out);
JSGlobalProxyPrint 6161 src/objects.h    inline void JSGlobalProxyPrint() {
JSGlobalProxyPrint 6162 src/objects.h      JSGlobalProxyPrint(stdout);
JSGlobalProxyPrint 6164 src/objects.h    void JSGlobalProxyPrint(FILE* out);