//# publish
module 0x1.M {
    public foo() {
    label b0:
        abort 22;
    }

}

//# run
import 0x1.M;

main() {
label b0:
    // should abort and point to the module
    M.foo();
    return;
}