channel c.

table tbl(bitstring,bitstring).
fun mk_n(bitstring):bitstring.

letfun gen_n(x:bitstring) = new s[x]:bitstring; mk_n(s).
letfun table_n(x:bitstring) =
  get tbl(=x,y) in
    gen_n(y)
.

process
  in(c,y:bitstring);
  let n = table_n(y) in
  out(c,n)

(* EXPECTPV
0.040s (user 0.028s + system 0.012s), max rss 9296K
END *)
