namespace;
include rt;

// expect: c: used after it was given away
fn take(.d p) { return p[0]; }
fn main() { let p = rt.new(2), c = rt.new(1); p[0] = c; take(d*p); return c[0]; }