Everything works except for mutexes