BreakPointInfoPrint 8749 src/objects.h    inline void BreakPointInfoPrint() {
BreakPointInfoPrint 8750 src/objects.h      BreakPointInfoPrint(stdout);
BreakPointInfoPrint 8752 src/objects.h    void BreakPointInfoPrint(FILE* out);