user library for mutexes