//# publish
module 0x42.M {
    public case(a: u64, b: bool): u64 {
    label b0:
        jump_if (copy(b)) b2;
    label b1:
        return 42;
    label b2:
        return copy(a);
    label b3:
        return 112;
    }
}

//# run
import 0x42.M;

main() {
    let a: u64;
label b0:
    a = 10;
    a = M.case(move(a), false);
    assert(copy(a) == 42, 41);
    return;
}