adding debugging "lock_checker"