//# publish
module 0x1.A {
    public push_u64(): u64  {
    label b0:
        return 42;
    }

    public push_bool(): bool {
    label b0:
        return true;
    }

    public foo(u: u64, b: bool): u64 {
    label b0:
        jump_if (move(b)) b2;
    label b1:
        return 0;
    label b2:
        return move(u) + 1;
    }
}


//# run
import 0x1.A;

main() {
    let ans: u64;
label b0:
    (A.push_u64(), A.push_bool());
    ans = A.foo();
    return;
}