108,111d107
< // Nonstandard
< // Returns the current handler so it can be restored if it needs to be
< // changed temporarily.
< static sc_report_handler_proc get_handler();