Oh man. I think it works. Mutexes have been virtualized.