Added RLock debugging