InterceptorInfoPrint 8448 src/objects.h    inline void InterceptorInfoPrint() {
InterceptorInfoPrint 8449 src/objects.h      InterceptorInfoPrint(stdout);
InterceptorInfoPrint 8451 src/objects.h    void InterceptorInfoPrint(FILE* out);