pub fn main() -> Void {
    var x: i32 = 1
    let z: i32 = 2
    var r: ref<i32> = &x
    if true {
        let x: i32 = 3
        r = &z
    }
    x = 4
}