Symbol: lock_torture_reader