https://5dok.org/document/lzg0pl2q-high-level-data-races.html