1SeqTag DEFINITIONS IMPLICIT TAGS ::=
2
3BEGIN
4
5IMPORTS XSet1, XSeqNT, XSeqImp, XSeqExp FROM External;
6
7SeqTag ::= [APPLICATION 20] SEQUENCE {
8	nt NT,
9	imp Imp,
10	exp Exp }
11
12SeqTagImp ::= [APPLICATION 21] SEQUENCE {
13	nt [0] NT,
14	imp [1] Imp,
15	exp [2] Exp}
16
17SeqTagExp ::= [APPLICATION 22] SEQUENCE {
18	nt [0] EXPLICIT NT,
19	imp [1] EXPLICIT Imp,
20	exp [2] EXPLICIT Exp}
21
22SeqTagX ::= [APPLICATION 30] SEQUENCE {
23	xnt XSeqNT,
24	ximp XSeqImp,
25	xexp XSeqExp }
26
27SeqTagImpX ::= [APPLICATION 31] SEQUENCE {
28	xnt [3] XSeqNT,
29	ximp [4] XSeqImp,
30	xexp [5] XSeqExp }
31
32SeqTagExpX ::= [APPLICATION 32] SEQUENCE {
33	xnt [3] EXPLICIT XSeqNT,
34	ximp [4] EXPLICIT XSeqImp,
35	xexp [5] EXPLICIT XSeqExp }
36
37
38NT ::= SEQUENCE {
39  os  OCTET STRING,
40  bool  BOOLEAN}
41Imp ::= [1] SEQUENCE {
42  os  OCTET STRING,
43  bool  BOOLEAN}
44Exp ::= [2] EXPLICIT SEQUENCE {
45  os  OCTET STRING,
46  bool  BOOLEAN}
47
48END
49