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

    public parity(u: u64): bool {
    label b0:
        return (move(u) % 2 == 0);
    }

    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 k: u64;
    let ans: u64;
label b0:
    k = 101;
    (A.push_u64());
    ans = A.foo(A.parity(move(k)));
    return;
}