free c:channel.
free k1:bitstring [private].
const ok:bitstring.

noninterf k1,k2.

process
  new k2:bitstring;
  out(c,ok)

(* EXPECTPV
Error: Name k2 is not declared.
xtime: error in child process (status : 2)
END *)
