//-*-c-*-

coordinator Printer {
  mutex { print1, print2 }
}