// expect error: p: is tracked by the analyzer and can't be used in unchecked code
// spec 4.9
include rt;
void pn(int x) { rt.put_n(x); rt.put_c(10); }
fn main() {
	int* p = rt.new(int);
	unchecked { *p = 2; }
	return 0;
}