C.4 File Naming Support for DECthreads Header Files

DECthreads provides the following public header files:

• cma.h

• exc_handling.h

• pthread.h

• pthread_exc.h

Both exc_handling.h and pthread_exc.h are public files, and they may be included in customer code.