PROCESS producer [send] (n: number) : NOEXIT :=
  (*| delay rand()/500000000 |*)
  send !n (*| C printf ("send %d\n", pnumber ($!1)); |*);
  producer [send] (succ (n))
  ENDPROC (* producer *)