// expect error: p: owned object is never used
// spec 6.5.2 (the checked counterpart of unchecked_toplevel_rest_of_unit)
include rt;
void pn(int x) { rt.put_n(x); rt.put_c(10); }
fn main() {
	int* p = rt.new(int);
	pn(1);
	return 0;
}