Compiles and passes LockingTest