Initial check-in for mutex and cond