Simple mutex_destroy question