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