#include <pthread_exception.h>

    void
    pthread_exc_report_np (
             EXCEPTION    *exception);