chan c[2];

process P()
{
  state a;
  init a;
  trans a->a { sync c[2]!; },
	a->a { sync c[0]?; };
}

system P;