Leader-based de-anonymization of an anonymous read/write memory
Origin : Files produced by the author(s)