function u0:0(i64, i64) -> i64 system_v {
    sig0 = (i64) -> i64 system_v
    fn0 = u0:0 sig0

block0(v0: i64, v1: i64):
    v4 = iconst.i64 50
    brif v1, block1(v0), block2(v0)

block1(v2: i64):
    v5 = iconst.i64 50
    v6 = call fn0(v5)  ; v5 = 50
    v7 = iadd v2, v6
    return v7

block2(v3: i64):
    v8 = iconst.i64 10
    v9 = iconst.i64 -20
    v10 = iadd_imm v8, -20  ; v8 = 10
    v11 = iadd v3, v10
    return v11
}