namespace;
include rt;

// expect: p: used after it was given away
fn take(int* .d p) { rt.free(p); return 0; }
fn main() {
	int* p = rt.new(int);
	defer rt.free(p);
	take(p);
	return 0;
}