(Rice) Get rid of critical sections/mutexes