defproc bool_buff (chan?(bool) L; chan!(bool) R)
{
   bool x;
 
   chp {
       *[ L?x; R!x ]
  }
}