namespace;
include rt;

// expect: t: used after it was given away; t was freed on line 7 (declared on line 6)
fn main() {
	let t = rt.new(4);
	rt.free(t);
	return t[0];
}