// This example uses a non-standard simplified thread composition
// syntax. Triple braces enclose a list of threads with triple bar
// separating each thread.
int main() {
  atomic_int x = 0;
  atomic_int y = 0;
  {{{ { y.store(1); 
        x.load(); }
  ||| { x.store(1); 
        y.load(); }
  }}}
  return 0; }