channel c.

let P(x: bitstring or fail) =
   new a[x]: bitstring;
   out(c, (a,x)).


fun g(): bitstring
reduc g() = fail.

process P(g())

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