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