MrSan/concurrency-rep-mrs archive