1Exporting DEFINITIONS AUTOMATIC TAGS ::= 2BEGIN 3 4 Seq ::= SEQUENCE { id INTEGER, f BOOLEAN } 5 PtSeq{T} ::= SEQUENCE { a T } 6 7 CL ::= CLASS { 8 &id INTEGER UNIQUE, 9 &Type 10 } WITH SYNTAX { 11 ID &id TYPE &Type 12 } 13 14 obj CL ::= { ID 1 TYPE OCTET STRING } 15 16 pt-object{CL:ob} CL ::= {ID ob.&id TYPE OCTET STRING} 17 18END 19