// 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() {
  int x; mutex m;
  {{{ { m.lock();
        x = 1;
        m.unlock(); }
  ||| { m.lock();
	printf("%d\n", x);
        m.unlock(); } }}};
  return 0;
}