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