// expect error: q: used after it was given away
// spec 6.4
include rt;
void pn(int x) { rt.put_n(x); rt.put_c(10); }
void take(int*.d p) { rt.free(p); }
fn main() { int* q = rt.new(int); take(q); pn(*q); return 0; }
// zc0: skip