fn in_func(a: u32) {
let
@0⦊
b = 1
⦉@0
;
let
@1,2,3,4⦊
c
⦉@1,2,3,4
=
@0⦊
a + b
⦉@0
;
@1,2,3,4⦊
println!("c = {}", c)
}
⦉@1,2,3,4