proc main!() {
    exit abc 2::xyz 3::get!()
}

type abc a {
    type xyz x {
        proc get!() { return a + x }
        export get
    }

    export xyz
}