1EnumExt DEFINITIONS AUTOMATIC TAGS ::=
2BEGIN
3
4Ext ::= ENUMERATED {
5	blue(0),
6	red(1),
7	green(2),
8	...
9}
10
11Ext1 ::= ENUMERATED {
12	blue(0),
13	red(1),
14	green(2),
15	...,
16	orange(7),
17        black(8),
18	magenta(9)
19}
20
21SubExt1 ::= Ext1 ( blue | orange | black )
22
23Noext ::= ENUMERATED {
24	blue(0),
25	red(1),
26	green(2)
27}
28
29Globalstate ::= ENUMERATED {def(1),com(2),preop(3),oper(4),noop(5),fail(6)}
30
31Seq ::= SEQUENCE {
32   e Ext1,
33   i INTEGER
34}
35
36EnumExtBig ::= ENUMERATED {
37  base,
38  ...,
39  e00,e01,e02,e03,e04,e05,e06,e07,e08,e09,e0a,e0b,e0c,e0d,e0e,e0f,
40  e10,e11,e12,e13,e14,e15,e16,e17,e18,e19,e1a,e1b,e1c,e1d,e1e,e1f,
41  e20,e21,e22,e23,e24,e25,e26,e27,e28,e29,e2a,e2b,e2c,e2d,e2e,e2f,
42  e30,e31,e32,e33,e34,e35,e36,e37,e38,e39,e3a,e3b,e3c,e3d,e3e,e3f,
43  e40,e41,e42,e43,e44,e45,e46,e47,e48,e49,e4a,e4b,e4c,e4d,e4e,e4f,
44  e50,e51,e52,e53,e54,e55,e56,e57,e58,e59,e5a,e5b,e5c,e5d,e5e,e5f,
45  e60,e61,e62,e63,e64,e65,e66,e67,e68,e69,e6a,e6b,e6c,e6d,e6e,e6f,
46  e70,e71,e72,e73,e74,e75,e76,e77,e78,e79,e7a,e7b,e7c,e7d,e7e,e7f,
47  e80
48}
49
50SeqBig ::= SEQUENCE {
51  b BOOLEAN,
52  e EnumExtBig,
53  i INTEGER
54}
55
56EnumSkip ::= ENUMERATED {a(2), ..., b, c, d, e, f}
57
58END
59
60