c41_smt_mutex_destroy()