read_pending_exceptions_done_count
previous_count = read_pending_exceptions_done_count();
(read_pending_exceptions_done_count() !=