1ChoExtension DEFINITIONS IMPLICIT TAGS ::=
2
3BEGIN
4
5
6ChoExt1 ::=  CHOICE
7{
8  bool BOOLEAN,
9  int INTEGER,
10  ...
11}
12
13ChoExt1x ::=  CHOICE
14{
15  bool BOOLEAN,
16  int INTEGER,
17  ...,
18  str OCTET STRING
19}
20
21ChoExt2 ::=  CHOICE
22{
23  bool BOOLEAN,
24  ...,
25  int INTEGER
26}
27
28ChoExt3 ::=  CHOICE
29{
30  str OCTET STRING,
31--  ...,
32  bool BOOLEAN,
33  int INTEGER
34}
35
36ChoExt4 ::= CHOICE
37{
38  bool BOOLEAN,
39  int INTEGER,
40  ...,
41  str OCTET STRING
42}
43
44choExt1 ChoExt1 ::= int : 1
45
46END
47