fun g(bitstring, bitstring):bitstring.

letfun f(x:bitstring,y:bitstring) = g(x,y).

channel c.
free a, b, d: bitstring.



process out(c, f(f(a,b),d)); out(c, f(a,f(b,d)))

(* EXPECTPV
0.004s (user 0.004s + system 0.000s), max rss 6528K
END *)
