// expect error: p: is an owned object and can't be copied into another variable
// spec 6.8.5
include rt;
void pn(int x) { rt.put_n(x); rt.put_c(10); }
fn main() { int* p = rt.new(1); int* q; q = p; pn(q[0]); return 0; }
// zc0: skip