// expect error: p: u object must leave this block
// spec 6.7
include rt;
void pn(int x) { rt.put_n(x); rt.put_c(10); }
fn main() { int* p = rt.new(2); p[0] = 1; u*p; return 0; }
// zc0: skip