7e7eb5ae4e4c ("tools/memory-model:  Document locking corner cases")