#include <pthread.h>

    void
    pthread_cleanup_pop(
             int   execute);