procedure Bool.1 ():
    let Bool.21 : Int1 = false;
    ret Bool.21;

procedure Test.1 (Test.2):
    let Test.5 : I64 = 2i64;
    joinpoint Test.8:
        let Test.7 : I64 = 0i64;
        ret Test.7;
    in
    let Test.12 : I64 = 2i64;
    let Test.13 : Int1 = lowlevel Eq Test.12 Test.5;
    if Test.13 then
        joinpoint Test.10 Test.9:
            if Test.9 then
                let Test.6 : I64 = 42i64;
                ret Test.6;
            else
                jump Test.8;
        in
        let Test.11 : Int1 = CallByName Bool.1;
        jump Test.10 Test.11;
    else
        jump Test.8;

procedure Test.0 ():
    let Test.4 : {} = Struct {};
    let Test.3 : I64 = CallByName Test.1 Test.4;
    ret Test.3;