Global and list locks working properly inside randtrac.cc