Update double-checked-locking4.txt