Copyright
Digital Equipment Corp.
All rights reserved.
C_Binding
#include <pthread.h> void pthread_cleanup_pop( int execute);