ModuleTestTags3 { iso org(3) dod(6) internet(1) private(4) enterprise(1)
	spelio(9363) software(1) asn1c(5) test(1) 22 }
DEFINITIONS AUTOMATIC TAGS ::=
BEGIN

T1 ::= SEQUENCE {
    a	 [0] IMPLICIT INTEGER,
    b	 [1] EXPLICIT CHOICE {
        i	 [0] IMPLICIT INTEGER,    
        n	 [1] IMPLICIT IA5String
    },
    c	 [2] IMPLICIT UTF8String
}

END