>>>>> "Pedro" == Pedro Alves <palves@redhat.com> writes: Pedro> exception_print and exception_fprintf call print_flush, which Pedro> does all the same flushing and annotation things that Pedro> print_any_exception does, and more. Looks like a nice cleanup. Tom