#include <pthread.h>

    void
    pthread_exit (
             void   *value_ptr);