Update double-checked-locking3.txt