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

END