//# publish

// TODO: we might need to modify this test if we enable unreachable code
// checking in the verifier.

module 0x1.Test {
    public t(): u64 {
    label b0:
        return 100;
        return 0;
    }
}

//# run
import 0x1.Test;
main() {
    let x: u64;
label b0:
    x = Test.t();
    assert(copy(x) == 100, 42);
    return;
}