// expect error: zy: use after free from line
// spec 4.11
include rt;
void pn(int x) { rt.put_n(x); rt.put_c(10); }
memdebug on;
fn main() {
	unchecked { int* p = rt.new(int); *p = 5; rt.free(p); pn(*p); }
	return 0;
}
// zc0: skip