Mutex Destruction

Once we no longer need the mutex, we should destroy it (for cleanup). Once it is destroyed - we should NOT have any thread accessing it, or all hell will get loose..

 ...
 /* assume 'mutex' is an initialized mutex. */
 pthread_mutex_destroy(&mutex);
 ...