a <- channel("a"); c1 <- channel("c1"); FUNC expcal(ch) : INT RETURNS let ( x = receive(ch), r = eval(x), m = princ("The result of ",x," is ",r,"\n"), s = send(a,r)) in expcal(ch);