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