Update double-checked-locking8.txt