Add print_exception_trace()