namespace;
include rt;

// expect: t: is u; it can only be handed to a variable of the enclosing block
fn main() { let r; { { let t = rt.new(1); u*t; r = t; } } return r[0]; }