Update double-checked-locking10.txt