PROCESS consumer [recv] : NOEXIT :=
  recv ?n: number
  (*| C printf ("  recv %d\n", pnumber ($!1)); |*);
  consumer [recv]
  ENDPROC (* consumer *)