fn f(x:i32) = { def d = emit{i32, 'change', x} a := d # New handle b := x # New handle def c = b # Aliases b a = 4 c = d x = a b } fn g() : __pnt{i32} = { b:i32 = 5 c := b c = 6 a:__pnt{i32} = tup{b,b} ac := a # a = cast{__pnt{i32},tup{b,c}} # Problems with C output for this ac }