Copyright Digital Equipment Corp. All rights reserved.
#include <pthread_exception.h> void pthread_exc_report_np ( EXCEPTION *exception);