namespace; include rt; // expect: a: used after it was given away; a was pushed into an array on line 8 (declared on line 7) fn main() { word[?] items = rt.new(word[?]); let a = rt.new(4); push(items, a); return a[0]; }