(\x.  
  while *x <= 3 do (
    newAgent (print receive) ;
    *x := *x + 1
  ) ; 
  broadcast 0) (ref 1)
