1One DEFINITIONS ::= 2 3BEGIN 4EXPORTS Boo,Foo,Bar; 5--IMPORTS 6--Fooo , Abba FROM Bobby 7--Robbe FROM Tst; 8 9Boo ::= [1] INTEGER (0..200) 10 11Foo ::= One.Boo 12 13Bar ::= SEQUENCE { 14 ff One.Foo, 15 aa One.Boo } 16 17 18 S ::= [1] IMPLICIT SEQUENCE { 19 authInfo 20 INTEGER, -- defined by authentication protocol 21 authData 22 Boo 23 } 24 25 26--S::= Jojo 27--T ::= S 28--U ::= T 29--Jojo ::= [PRIVATE 21] SET { 30-- Boo ,x 31-- d SEQUENCE { 32-- [0] INTEGER OPTIONAL, 33-- [1] INTEGER DEFAULT 55 }, 34-- g [2] INTEGER (0..10) } 35-- 36--J ::= [PRIVATE 22] EXPLICIT SEQUENCE { 37-- y SEQUENCE { 38-- one INTEGER, 39-- two INTEGER }, 40-- x INTEGER (1..3), 41-- a Boo OPTIONAL, 42-- b INTEGER } 43-- 44--Noo ::= [PRIVATE 23] SEQUENCE { 45-- [0] Jojo, 46-- [1] J } 47 48 49 50 51END 52 53