namespace;
include rt;

// expect: r: used after it was given away; r borrows a, and a was freed by reassigning it on line 8 (a declared on line 6)
fn main() {
	let a = rt.new(4);
	char* r = a + 1;
	a = rt.new(4);
	return r[0];
}