Update so minardus can debug the SyncLock class