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