JSProxyPrint      164 src/objects-printer.cc       JSProxy::cast(this)->JSProxyPrint(out);
JSProxyPrint     8001 src/objects.h    inline void JSProxyPrint() {
JSProxyPrint     8002 src/objects.h      JSProxyPrint(stdout);
JSProxyPrint     8004 src/objects.h    void JSProxyPrint(FILE* out);