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