procedure Test.0 ():
    let Test.6 : Int1 = true;
    if Test.6 then
        let Test.7 : I64 = 1i64;
        ret Test.7;
    else
        let Test.4 : Int1 = false;
        if Test.4 then
            let Test.5 : I64 = 2i64;
            ret Test.5;
        else
            let Test.3 : I64 = 3i64;
            ret Test.3;