fun hash/1.

free c.

process
	new n; new m;
	out(c, (m, choice[n, hash(m)]))

(* EXPECTPV
RESULT Observational equivalence cannot be proved.
0.012s (user 0.008s + system 0.004s), max rss 7792K
END *)
