1SeqOf DEFINITIONS IMPLICIT TAGS ::=
2
3BEGIN
4
5
6Seq1 ::= SEQUENCE
7{
8  bool1  BOOLEAN,
9  int1  INTEGER,
10  seq1  SEQUENCE OF SeqIn DEFAULT {}
11}
12
13Seq2 ::= SEQUENCE
14{
15  seq2  SEQUENCE OF SeqIn DEFAULT {},
16  bool2  BOOLEAN,
17  int2  INTEGER
18}
19
20Seq3 ::= SEQUENCE
21{
22  bool3  BOOLEAN,
23  seq3  SEQUENCE OF SeqIn DEFAULT {},
24  int3  INTEGER
25}
26
27Seq4 ::= SEQUENCE
28{
29  seq41 [41] SEQUENCE OF SeqIn DEFAULT {},
30  seq42 [42] SEQUENCE OF SeqIn DEFAULT {},
31  seq43 [43] SEQUENCE OF SeqIn DEFAULT {}
32}
33
34Seq5 ::= SEQUENCE {
35  b BOOLEAN,
36  s SEQUENCE SIZE (0..3) OF OCTET STRING (SIZE (0..3)),
37  -- If 's' is empty, 'magic' should not be aligned.
38  magic INTEGER (0..127)
39}
40
41Seq6 ::= SEQUENCE {
42  a SEQUENCE OF INTEGER (0..7),
43  b SEQUENCE (SIZE (0..7)) OF INTEGER (0..7),
44  -- 'magic' should never be aligned.
45  magic INTEGER (0..127)
46}
47
48Seq7 ::= SEQUENCE {
49  a SEQUENCE OF INTEGER (1..512),
50  b SEQUENCE (SIZE (0..255)) OF INTEGER (1..512),
51  i INTEGER
52}
53
54Seq8 ::= SEQUENCE {
55    sof SEQUENCE (SIZE (0..3)) OF OCTET STRING (SIZE (3)),
56    -- Not aligned here if the size of 'sof' is zero.
57    i INTEGER (0..127)
58}
59
60Seq9 ::= SEQUENCE {
61  b BOOLEAN,
62  s SEQUENCE SIZE (0..3) OF OCTET STRING (SIZE (0..3)),
63  magic INTEGER (0..127)
64}
65
66Seq10 ::= SEQUENCE {
67  b BOOLEAN,
68  s SEQUENCE SIZE (1..3) OF OCTET STRING (SIZE (0..3)),
69  magic INTEGER (0..127)
70}
71
72SeqIn ::= SEQUENCE
73{
74  boolIn  BOOLEAN,
75  intIn  INTEGER
76}
77
78
79SeqOs ::= SEQUENCE OF OCTET STRING
80SeqOsImp ::= [23] SEQUENCE OF OCTET STRING
81SeqOsExp ::= [24] EXPLICIT SEQUENCE OF OCTET STRING
82
83SeqCho ::= SEQUENCE OF CHOICE {bool BOOLEAN,
84                               int INTEGER,
85                               last NULL}
86
87SeqOfInt ::= SEQUENCE OF INTEGER
88
89SeqEmp ::= SEQUENCE
90{
91  seq1  SEQUENCE OF Empty DEFAULT {}
92}
93
94Empty ::= SEQUENCE
95{
96}
97
98SeqExt ::= SEQUENCE
99{
100  b1 BOOLEAN,
101  s1 SEQUENCE SIZE (1..3, ...) OF SeqIn,
102  b2 BOOLEAN,
103  s2 SEQUENCE SIZE (0..1024, ...) OF SeqIn,
104  magic INTEGER
105}
106
107END
108