DebugInfoPrint   8691 src/objects.h    inline void DebugInfoPrint() {
DebugInfoPrint   8692 src/objects.h      DebugInfoPrint(stdout);
DebugInfoPrint   8694 src/objects.h    void DebugInfoPrint(FILE* out);