namespace;
include rt;

// expect: x: used after it was given away; owner x was transferred on line 6 (declared on line 6)
fn take(.d p) { return p[0]; }
fn main() { let x = rt.new(3); take(x); return x[0]; }