--- /dev/null
+
+-- OK: Everything is Fine
+
+-- iso.org.dod.internet.private.enterprise (1.3.6.1.4.1)
+-- .spelio.software.asn1c.test (9363.1.5.1)
+-- .70
+
+ModuleTestXERDecoding
+ { iso org(3) dod(6) internet(1) private(4) enterprise(1)
+ spelio(9363) software(1) asn1c(5) test(1) 70 }
+ DEFINITIONS AUTOMATIC TAGS ::=
+BEGIN
+ /*
+ * This module defines several types for the XER decoder testing
+ * environment (defined elsewhere).
+ */
+
+ PDU ::= CHOICE {
+ sequence Sequence,
+ set Set,
+ sequenceOf SequenceOf,
+ extensibleSet ExtensibleSet,
+ extensibleSequence ExtensibleSequence,
+ extensibleSequence2 ExtensibleSequence2,
+ setOfNULL SetOfNULL,
+ setOfREAL SetOfREAL,
+ setOfEnums SetOfEnums,
+ namedSetOfNULL NamedSetOfNULL,
+ namedSetOfREAL NamedSetOfREAL,
+ namedSetOfEnums NamedSetOfEnums,
+ seqOfZuka SeqOfZuka,
+ setOfChoice SetOfChoice,
+ namedSetOfChoice NamedSetOfChoice,
+ ...
+ }
+
+ Sequence ::= SEQUENCE {
+ integer INTEGER,
+ sequence Sequence OPTIONAL, -- backreference
+ bits BIT STRING OPTIONAL,
+ string UTF8String
+ }
+
+ Set ::= SET {
+ roid RELATIVE-OID,
+ opaque OCTET STRING OPTIONAL
+ }
+
+ ExtensibleSet ::= SET {
+ string UTF8String OPTIONAL,
+ ...,
+ enum ENUMERATED { b, a }
+ }
+
+ ExtensibleSequence ::= SEQUENCE {
+ string UTF8String OPTIONAL,
+ ...,
+ integer INTEGER OPTIONAL,
+ gtime GeneralizedTime
+ }
+
+ ExtensibleSequence2 ::= SEQUENCE {
+ string UTF8String OPTIONAL,
+ ...,
+ integer INTEGER OPTIONAL
+ }
+
+ SetOfNULL ::= SET OF NULL
+ SetOfREAL ::= SET OF REAL
+ SetOfEnums ::= SET OF ENUMERATED { one, oneMore }
+ NamedSetOfNULL ::= SET OF y NULL
+ NamedSetOfREAL ::= SET OF name REAL
+ NamedSetOfEnums ::= SET OF name ENUMERATED { one, oneMore }
+ SequenceOf ::= SEQUENCE OF id INTEGER { one(1), two(2) }
+ SeqOfZuka ::= SEQUENCE OF zuka NULL
+ SetOfChoice ::= SET OF SimpleChoice
+ NamedSetOfChoice ::= SET OF whatever SimpleChoice
+
+ SimpleChoice ::= CHOICE { a NULL, b INTEGER }
+
+END