Update double-checked-locking6.txt