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

T ::= [5] EXPLICIT SEQUENCE {
    a	 INTEGER,
    b	 [0] IMPLICIT INTEGER OPTIONAL,
    c	 [1] IMPLICIT INTEGER DEFAULT 10,
    d	 [5] EXPLICIT INTEGER
}

ten INTEGER ::= 10

END