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

Programming ::= SEQUENCE SIZE(1..10) OF [0] IMPLICIT Fault

Fault ::= SET OF Error

Error ::= SEQUENCE {
    ...
}

maxSize INTEGER ::= 10

SeqWithMandatory ::= SEQUENCE {
    someString	 UTF8String,
    seqOfMan	 [0] EXPLICIT SEQUENCE OF Error
}

SeqWithOptional ::= SEQUENCE {
    someString	 UTF8String,
    seqOfOpt	 [0] EXPLICIT SEQUENCE OF Error OPTIONAL
}

END
