mm.c

// https://groups.google.com/g/golang-nuts/c/Gze1TRtdLdc/m/RoD2AxssDgAJ
// http://svr-pes20-cppmem.cl.cam.ac.uk/cppmem/
int main() {
  int x = 0; 
  atomic_int int y = 0;
  {{{ { x = 1;
        y.store(1);
        x = 1;
        y.store(1); }
  ||| { y.load().readsvalue(0);
        y.load().readsvalue(1);
        r1 = x; }
  }}};
  return 0; }
// 864 executions; 2 consistent, only 1 race free