Add a case to test mutex_lock