Reducing stuff around mutexes