broadcast chan read,write,flush; p1=protocol(); p2=protocol(); p3=protocol(); system p1,p2,p3;