1TAGDEFAULT-AUTOMATIC DEFINITIONS AUTOMATIC TAGS ::= 2BEGIN 3 4EXPORTS 5 Tagged, 6 Untagged, 7 Mixed 8; 9 10Tagged ::= SEQUENCE { 11 o0 [0] OCTET STRING, 12 o1 [1] OCTET STRING 13} 14 15Untagged ::= SEQUENCE { 16 o0 OCTET STRING, 17 o1 OCTET STRING 18} 19 20Mixed ::= SEQUENCE { 21 o0 OCTET STRING, 22 o2 [2] OCTET STRING 23} 24 25END 26