//-*-c-*-

coordinator Printer {
  mutex { print1, print2 }
  /*
  boolean cond_var = (@true@);
  print1 requires (@cond_var@) {
    on entry (@cond_var = false;@)
    on exit  (@cond_var = true;@)
  }
  */
}