namespace;
include rt;

// expect: a: used after it was given away; a was moved into b on line 9 (declared on line 6)
fn main() {
	let a = rt.new(4);
	let b = rt.new(4);
	rt.free(b);
	b = a;
	return a[0] + b[0];
}