1proc main!() { 2 exit abc 2::xyz 3::get!() 3} 4 5type abc a { 6 type xyz x { 7 proc get!() { return a + x } 8 export get 9 } 10 11 export xyz 12}