proc main!() {
    exit abc::xyz::inner!()
}

type abc {
    type xyz {
        proc inner!() { return 5 }
        export inner
    }

    export xyz
}